blob: 52b061dcdfcb8fb25b6ff07e4897b95b80599446 (
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
$Id$
Release 0.9
This directory contains some tools for manipulating lrs/cdd ine files.
At the moment there is
countrows replace the ****** in lrs output with the number
of rows
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.
rat2canon put the inequalities/vectors in a canonical form
This one only compiles with multiprecision support
rat2int convert all rows to integer. This makes more sense for
inequalities. Multiprecision 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.
NEWS
Release 0.7:
All utilities take optional parameters for input file and
output file.
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.
1) to build with multiprecision support (recommended):
edit the Makefile to point to your lrslib source directory,
type make.
2) to build without multiprecision support
comment out the line
CPPFLAGS+= -DLRSMP
type make. Some things will not compile.
David Bremner bremner@unb.ca
|