lrs-rat2float man page

lrs-rat2float — Convert rational coefficients to floating point

Synopsis

lrs-rat2float [FILE]

Description

Lrs-rat2float reads a polyhedron file, or stdin if no file is given, and converts its rational coefficients to floating point approximations.

The resulting polyhedron is printed to stdout.

File Format

The input file should be in the format documented at http://cgm.cs.mcgill.ca/~avis/C/lrslib/….

Exit Status

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

See Also

lrs(1), lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1), lrsnash(1), lrs-redund(1), lrs-setupnash(1), lrs-setupnash2(1), plrs(1)

Referenced By

lrs(1), lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1), lrsnash(1), lrs-redund(1), lrs-setupnash(1), lrs-setupnash2(1), plrs(1).

062 LRSLIB User Commands