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
+