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

NAME

6       lrs - Reverse search for vertex enumeration/convex hull problems
7

SYNOPSIS

9       lrs FILE
10

DESCRIPTION

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

FILE FORMAT

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

EXIT STATUS

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

SEE ALSO

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                                070                               LRS(1)
Impressum