plrs man page

lrs — Parallel reverse search for vertex enumeration/convex hull problems

Synopsis

lrs FILE

Description

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.

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

Referenced By

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

062 LRSLIB User Commands