* filename: nonfull.ine * non full-dimensional polyhedron H-representation begin 6 4 integer 2 -1 0 0 -2 1 0 0 2 0 -1 0 -1 1 0 0 -1 0 1 0 -1 0 0 1 end
* filename: nonfull.ine * non full-dimensional polyhedron H-representation begin 6 4 integer 2 -1 0 0 -2 1 0 0 2 0 -1 0 -1 1 0 0 -1 0 1 0 -1 0 0 1 end