1 files changed, 11 insertions, 0 deletions
diff --git a/float2rat.h b/float2rat.h
new file mode 100644
index 0000000..c646dbe
--- /dev/null
+++ b/float2rat.h
@@ -0,0 +1,11 @@
+#define DOCSTRING "\n\
+$Id: float2rat.doc 2337 2006-04-03 20:42:09Z bremner $\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 about cdd).\n\
+"
+
+int usage(){ fprintf(stderr,"\n%s\n",rcsid);fprintf(stderr,DOCSTRING);  exit(1); 	}
+#define CHECK_HELP   if (argc > 1 && argv[1][0]=='-' && argv[1][1]=='h') usage();