diff options
Diffstat (limited to 'README')
-rw-r--r-- | README | 22 |
1 files changed, 15 insertions, 7 deletions
@@ -1,18 +1,16 @@ $Id$ -Release 0.4 +Release 0.5 This directory contains some tools for manipulating lrs/cdd ine files. -At the moment there is only +At the moment there is - 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. + + 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 @@ -20,9 +18,19 @@ At the moment there is only 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 + + 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. + + + 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. |