aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorbremner <bremner@09fa754a-f411-0410-976a-da6bfa213b30>2006-04-21 17:39:32 +0000
committerbremner <bremner@09fa754a-f411-0410-976a-da6bfa213b30>2006-04-21 17:39:32 +0000
commita468544d39ef18c6e47fd59cf427a4e25fe22b7f (patch)
treeaacd9a4cad151cd60cef375d75088cbe3f18fe7e /README
cvs to svn conversion script
git-svn-id: file:///export/data/bremner/svn/trunk/inetools@2344 09fa754a-f411-0410-976a-da6bfa213b30
Diffstat (limited to 'README')
-rw-r--r--README40
1 files changed, 40 insertions, 0 deletions
diff --git a/README b/README
new file mode 100644
index 0000000..efcd043
--- /dev/null
+++ b/README
@@ -0,0 +1,40 @@
+
+$Id$
+
+Release 0.2
+
+
+This directory contains some tools for manipulating lrs/cdd ine files.
+
+At the moment there is 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.
+
+ 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.
+
+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.
+
+to build:
+
+type make.
+
+to build with multiprecision support:
+
+edit the Makefile to point to your lrslib source directory,
+and uncomment the lines that follow. Then type make.
+
+
+David Bremner bremner@unb.ca
+