rat2float.doc


1
2
3
4
5
6
7
8
9
10
11
12

$Id$ 

float takes a polytope file with rational or integer coefficents, 
and outputs an approximately equivelent one with floating point 
coefficents.

WARNING: Assumes that numerator and denominator will fit  in long integer,
unless compiled with multiprecision support.