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