1LRS-REDUND(1) User Commands LRS-REDUND(1)
2
3
4
6 lrs-redund - remove all redundant rows from a polytope
7
9 lrs-redund [INFILE [OUTFILE]]
10
12 Lrs-redund removes all redundant rows from an H-representation or V-
13 representation. If INFILE is not given, then input is read from stdin.
14 If OUTFILE is not given, then the result is printed on stdout.
15
17 The input file should be in the format documented at
18 http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html#File%20Formats.
19
21 The exit status is one if an error is encountered, or zero otherwise.
22
24 lrs(1), lrs-2nash(1), lrs-buffer(1), lrs-float2rat(1), lrs-fourier(1),
25 lrsnash(1),lrs-rat2float(1), lrs-setupnash(1), lrs-setupnash2(1),
26 plrs(1)
27
28
29
30LRSLIB 070 LRS-REDUND(1)