1PLRS(1)                          User Commands                         PLRS(1)
2
3
4

NAME

6       lrs  - Parallel reverse search for vertex enumeration/convex hull prob‐
7       lems
8

SYNOPSIS

10       lrs FILE
11

DESCRIPTION

13       Plrs implements  the  reverse  search  algorithm  for  vertex  enumera‐
14       tion/convex  hull  problems.   The input file format is compatible with
15       Komei Fukuda's cdd package (cddlib); see lrslib(5).   All  computations
16       are  done  exactly in multiple precision integer arithmetic.  Output is
17       not stored in memory, so even problems with very large output sizes can
18       sometimes be solved.
19
20       Unlike lrs(1), this implementation works in parallel.
21

FILE FORMAT

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

EXIT STATUS

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

SEE ALSO

30       lrs(1), lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1),  lrs-fourier(1),
31       lrsnash(1),  lrs-rat2float(1),  lrs-redund(1),  lrs-setupnash(1),  lrs-
32       setupnash2(1)
33
34
35
36LRSLIB                                070                              PLRS(1)