* file name: sampleh6.ine
* test file for forced-equality checking
H-representation
begin
5 4 integer
0 1 0 0
0 0 1 0
0 0 0 1
1 -1 -1 -1
-1 1 1 0
end
* file name: sampleh6.ine
* test file for forced-equality checking
H-representation
begin
5 4 integer
0 1 0 0
0 0 1 0
0 0 0 1
1 -1 -1 -1
-1 1 1 0
end
::
::
::
