1LRS-FLOAT2RAT(1)                 User Commands                LRS-FLOAT2RAT(1)
2
3
4

NAME

6       lrs-float2rat - Convert floating point coefficients to rationals
7

SYNOPSIS

9       lrs-float2rat [FILE]
10

DESCRIPTION

12       Lrs-float2rat  reads  a  polyhedron file, or stdin if no file is given,
13       and converts its floating point coefficients to rational  coefficients.
14       Each  floating  point  coefficient  f  is converted to 10^k*f/10 for an
15       appropriate value of k.  The results are not reduced.
16
17       The resulting polyhedron is printed to stdout.
18

FILE FORMAT

20       The   input   file   should   be   in   the   format   documented    at
21       http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats.
22

EXIT STATUS

24       The exit status is one if an error is encountered, or zero otherwise.
25

SEE ALSO

27       lrs(1),  lrs-2nash(1),  lrs-buffer(1), lrs-fourier(1), lrsnash(1), lrs-
28       rat2float(1),lrs-redund(1),    lrs-setupnash(1),     lrs-setupnash2(1),
29       plrs(1)
30
31
32
33LRSLIB                                070                     LRS-FLOAT2RAT(1)
Impressum