From 7a583e3a287eb468e82e6509b467b6701e50dade Mon Sep 17 00:00:00 2001 From: bremner Date: Thu, 1 Jun 2006 18:56:34 +0000 Subject: git-svn-id: file:///export/data/bremner/svn/trunk/inetools@5359 09fa754a-f411-0410-976a-da6bfa213b30 --- README | 22 +++++++++++++++------- 1 file changed, 15 insertions(+), 7 deletions(-) (limited to 'README') diff --git a/README b/README index 2e57145..c7c0888 100644 --- a/README +++ b/README @@ -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. -- cgit v1.2.3