From 4c77662a29ef4183004b43598fc099781c035a20 Mon Sep 17 00:00:00 2001 From: David Bremner Date: Sun, 1 Aug 2021 09:31:43 -0300 Subject: rename README --- README | 67 ------------------------------------------------------------------ 1 file changed, 67 deletions(-) delete mode 100644 README (limited to 'README') diff --git a/README b/README deleted file mode 100644 index ebbd7b5..0000000 --- a/README +++ /dev/null @@ -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 - -- cgit v1.2.3