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

 * file name: sample.ine
 * 3-cube
 H-representation
 begin
     6    4    rational
  10/3  1  0  0
  10/3  0  1  0
  10/3  0  0  1
  10/3 -1  0  0
  10/3  0 -1  0
  10/3  0  0 -1
 end
	* file name: sample.ine
	* 3-cube
	H-representation
	begin
	6 4 rational
	10/3 1 0 0
	10/3 0 1 0
	10/3 0 0 1
	10/3 -1 0 0
	10/3 0 -1 0
	10/3 0 0 -1
	end