blob: c646dbe530f1e77272c3ba0cdb436766d681ce4d (
plain)
1
2
3
4
5
6
7
8
9
10
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();
|
