lrs man page

lrs — Reverse search for vertex enumeration/convex hull problems

Synopsis

lrs FILE

Description

Lrs implements the reverse search algorithm for vertex enumeration/convex hull problems. The input file format is compatible with Komei Fukuda's cdd package (cddlib); see lrslib(5). All computations are done exactly in multiple precision integer arithmetic. Output is not stored in memory, so even problems with very large output sizes can sometimes be solved.

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-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1), lrsnash(1), lrs-rat2float(1), lrs-redund(1), lrs-setupnash(1), lrs-setupnash2(1), plrs(1)

Referenced By

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

062 LRSLIB User Commands