* test file for redundancy removal * the redundant rows: 2 4 5 6 7 * the implicit linearities : 8 9 V-representation begin 9 3 integer 1 0 0 1 2 0 1 0 2 1 1 1 1 2 1 1 1 2 1 2 2 0 1 0 0 -1 0 end
* test file for redundancy removal * the redundant rows: 2 4 5 6 7 * the implicit linearities : 8 9 V-representation begin 9 3 integer 1 0 0 1 2 0 1 0 2 1 1 1 1 2 1 1 1 2 1 2 2 0 1 0 0 -1 0 end
::
::
::
