Release 0.10

Update to compile with modern C compilers and modern lrslib

Release 0.9


This directory contains some tools for manipulating lrs/cdd ine files.

At the moment there is 


	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 
			the numerator and denominator may be very large.
			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

	rat2int		convert all rows to integer. This makes more sense for
			inequalities. Multiprecision 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.


NEWS

Release 0.7: 

	All utilities take optional parameters for input file and
	output file.

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.


1) to build with multiprecision support (recommended):

edit the Makefile to point to your lrslib source directory, 
type make. 

2) to build without multiprecision support

comment out the line 
CPPFLAGS+= -DLRSMP

type make. Some things will not compile.



David Bremner bremner@unb.ca