diff options
author | bremner <bremner@09fa754a-f411-0410-976a-da6bfa213b30> | 2006-06-01 18:56:34 +0000 |
---|---|---|
committer | bremner <bremner@09fa754a-f411-0410-976a-da6bfa213b30> | 2006-06-01 18:56:34 +0000 |
commit | 7a583e3a287eb468e82e6509b467b6701e50dade (patch) | |
tree | 5c8ef119ec7f7653fb10f6957e2c1b622e95aa53 /README | |
parent | 98fb9daefbb8afd80c20525782cdefa86d13e92c (diff) |
git-svn-id: file:///export/data/bremner/svn/trunk/inetools@5359 09fa754a-f411-0410-976a-da6bfa213b30
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. |