From a468544d39ef18c6e47fd59cf427a4e25fe22b7f Mon Sep 17 00:00:00 2001 From: bremner Date: Fri, 21 Apr 2006 17:39:32 +0000 Subject: cvs to svn conversion script git-svn-id: file:///export/data/bremner/svn/trunk/inetools@2344 09fa754a-f411-0410-976a-da6bfa213b30 --- README | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 README (limited to 'README') 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 + -- cgit v1.2.3