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

NAME

6       lrs-rat2float - Convert rational coefficients to floating point
7

SYNOPSIS

9       lrs-rat2float [FILE]
10

DESCRIPTION

12       Lrs-rat2float  reads  a  polyhedron file, or stdin if no file is given,
13       and converts its rational coefficients  to  floating  point  approxima‐
14       tions.
15
16       The resulting polyhedron is printed to stdout.
17

FILE FORMAT

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

EXIT STATUS

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

SEE ALSO

26       lrs(1), lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1),  lrs-fourier(1),
27       lrsnash(1), lrs-redund(1), lrs-setupnash(1), lrs-setupnash2(1), plrs(1)
28
29
30
31LRSLIB                                062                     LRS-RAT2FLOAT(1)
Impressum