$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