third_party/cddlib/examples-ine/nonfull.ine - RealtimeRoboticsGroup/test - Gitiles

 * 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