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 -------------------------------------------------------------- README.txt | 67 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 67 insertions(+), 67 deletions(-) delete mode 100644 README create mode 100644 README.txt 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 - diff --git a/README.txt b/README.txt new file mode 100644 index 0000000..ebbd7b5 --- /dev/null +++ b/README.txt @@ -0,0 +1,67 @@ +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