Austin Schuh | 405fa6c | 2015-09-06 18:13:55 -0700 | [diff] [blame] | 1 | * file name: sampleh5.ine |
2 | * test file for redundancy removal | ||||
3 | H-representation | ||||
4 | linearity 1 3 | ||||
5 | begin | ||||
6 | 8 4 integer | ||||
7 | 0 1 0 0 | ||||
8 | 0 0 1 0 | ||||
9 | 0 0 0 1 | ||||
10 | 1 -1 -1 -1 | ||||
11 | 1 -1 -1 0 | ||||
12 | 1 0 -1 -1 | ||||
13 | 1 -1 0 -1 | ||||
14 | 2 -1 -1 -1 | ||||
15 | end | ||||
16 |