float2rat.h


1
2
3
4
5
6

#define DOCSTRING "\n\
Converts floating point coefficent $f$ to rational by the\n\
simple expedient of outputing 10^k*f/10^k for appropriate\n\
$k$. Does no reduction of numbers.  In particular this may cause overflow in\n\
old versions of lrs input (and I'm not sure about cdd).\n\
"