CoCalc -- test.ext

GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/output/test.ext
⁸⁸²¹ views

V-representation
begin
 4 4 rational
 1 0 0 1
 1 0 0 0
 1 1 0 0
 1 0 1 0
end

H-representation
begin
 4 4 rational
 0 1 0 0
 0 0 1 0
 0 0 0 1
 1 -1 -1 -1
end

Vertex graph
begin
  4    4
 1 3 : 2 3 4
 2 3 : 1 3 4
 3 3 : 1 2 4
 4 3 : 1 2 3
end

Facet graph
begin
  4    4
 1 3 : 2 3 4
 2 3 : 1 3 4
 3 3 : 1 2 4
 4 3 : 1 2 3
end