diff options
Diffstat (limited to 'float2rat.doc')
-rw-r--r-- | float2rat.doc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/float2rat.doc b/float2rat.doc new file mode 100644 index 0000000..98f16e2 --- /dev/null +++ b/float2rat.doc @@ -0,0 +1,7 @@ + +$Id$ + +Converts floating point coefficent $f$ to rational by the +simple expedient of outputing 10^k*f/10^k for appropriate +$k$. Does no reduction of numbers. In particular this may cause overflow in +old versions of lrs input (and I'm not about cdd). |