blob: efcd043a2a683605bb18e3b059241dc6bf2707b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
$Id$
Release 0.2
This directory contains some tools for manipulating lrs/cdd ine files.
At the moment there is only
rat2float convert to floating point. Note that this
necessarily loses precision. Also,
It assumes the numerator and denominator are both
long integers, unless compiled with
multiprecision support.
float2rat convert floating point to rationals. Here the
conversion is exact, but not very clever, so
the numerator and denominator may be very large.
Current version of lrs can handle it, at least
the gmp version.
I have more code around for, e.g. centering points around the origin and
other simple tasks that I would be willing to shake the dust off of if
there is interest.
This code is released under the Gnu GPL. See COPYING.
to build:
type make.
to build with multiprecision support:
edit the Makefile to point to your lrslib source directory,
and uncomment the lines that follow. Then type make.
David Bremner bremner@unb.ca
|
