blob: 75cf8a1345ed8d1ab47931d12cc6e87cc07bf0ab (
plain)
1
2
3
4
5
6
7
|
rat2float 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.
|