Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
sagemath
GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/output/cubocta.ine
8820 views
V-representation
begin
 12 4 rational
 1 0 -1 1
 1 -1 0 1
 1 0 1 1
 1 1 0 1
 1 1 1 0
 1 1 0 -1
 1 1 -1 0
 1 0 1 -1
 1 -1 1 0
 1 -1 0 -1
 1 0 -1 -1
 1 -1 -1 0
end

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

Vertex graph
begin
  12    12
 1 4 : 2 4 7 12
 2 4 : 1 3 9 12
 3 4 : 2 4 5 9
 4 4 : 1 3 5 7
 5 4 : 3 4 6 8
 6 4 : 5 7 8 11
 7 4 : 1 4 6 11
 8 4 : 5 6 9 10
 9 4 : 2 3 8 10
 10 4 : 8 9 11 12
 11 4 : 6 7 10 12
 12 4 : 1 2 10 11
end

Facet graph
begin
  14    14
 1 4 : 7 9 10 12
 2 4 : 7 8 10 13
 3 4 : 7 8 9 11
 4 4 : 8 11 13 14
 5 4 : 9 11 12 14
 6 4 : 10 12 13 14
 7 3 : 1 2 3
 8 3 : 2 3 4
 9 3 : 1 3 5
 10 3 : 1 2 6
 11 3 : 3 4 5
 12 3 : 1 5 6
 13 3 : 2 4 6
 14 3 : 4 5 6
end