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