From a468544d39ef18c6e47fd59cf427a4e25fe22b7f Mon Sep 17 00:00:00 2001
From: bremner <bremner@09fa754a-f411-0410-976a-da6bfa213b30>
Date: Fri, 21 Apr 2006 17:39:32 +0000
Subject: cvs to svn conversion script

git-svn-id: file:///export/data/bremner/svn/trunk/inetools@2344 09fa754a-f411-0410-976a-da6bfa213b30
---
 float2rat.doc | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 float2rat.doc

(limited to 'float2rat.doc')

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).
-- 
cgit v1.2.3