lrs-redund man page

lrs-redund — remove all redundant rows from a polytope

Synopsis

lrs-redund [INFILE [OUTFILE]]

Description

Lrs-redund removes all redundant rows from an H-representation or V-representation. If INFILE is not given, then input is read from stdin. If OUTFILE is not given, then the result is printed on 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-rat2float(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-rat2float(1), lrs-setupnash(1), lrs-setupnash2(1), plrs(1).

062 LRSLIB User Commands