diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 67 |
1 files changed, 0 insertions, 67 deletions
@@ -1,67 +0,0 @@ -Release 0.10 - -Update to compile with modern C compilers and modern lrslib - -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 - |