float2rat.h


1
2
3
4
5
6
7
8

#define DOCSTRING "inetools 0.10\
\n\
\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\
"