plrs - Man Page

lrs FILE

Plrs 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.

Unlike lrs(1), this implementation works in parallel.

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

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

lrs(1), 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)

lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1), lrs-rat2float(1), lrs-setupnash(1), lrs-setupnash2(1).