diff options
Diffstat (limited to 'float2rat.ds')
-rw-r--r-- | float2rat.ds | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/float2rat.ds b/float2rat.ds new file mode 100644 index 0000000..209eec8 --- /dev/null +++ b/float2rat.ds @@ -0,0 +1,11 @@ +#define DOCSTRING "\n\ +$Id$\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(); |