* file name: sampleh5.ine
* test file for redundancy removal
H-representation
linearity 1 3
begin
8 4 integer
0 1 0 0
0 0 1 0
0 0 0 1
1 -1 -1 -1
1 -1 -1 0
1 0 -1 -1
1 -1 0 -1
2 -1 -1 -1
end
* file name: sampleh5.ine
* test file for redundancy removal
H-representation
linearity 1 3
begin
8 4 integer
0 1 0 0
0 0 1 0
0 0 0 1
1 -1 -1 -1
1 -1 -1 0
1 0 -1 -1
1 -1 0 -1
2 -1 -1 -1
end
::
::
::
