1LRS(1) User Commands LRS(1)
2
3
4
6 lrs - Reverse search for vertex enumeration/convex hull problems
7
9 lrs FILE
10
12 Lrs implements the reverse search algorithm for vertex enumeration/con‐
13 vex hull problems. The input file format is compatible with Komei
14 Fukuda's cdd package (cddlib); see lrslib(5). All computations are
15 done exactly in multiple precision integer arithmetic. Output is not
16 stored in memory, so even problems with very large output sizes can
17 sometimes be solved.
18
20 The input file should be in the format documented at
21 http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats.
22
24 The exit status is one if an error is encountered, or zero otherwise.
25
27 lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1),
28 lrsnash(1), lrs-rat2float(1), lrs-redund(1), lrs-setupnash(1), lrs-
29 setupnash2(1), plrs(1)
30
31
32
33LRSLIB 062 LRS(1)