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

H-representation
linearity 11  1 2 3 4 5 6 7 8 9 10 11
begin
 11 11 rational
 1 0 0 0 0 0 0 0 0 0 1
 1 1 0 0 0 0 0 0 0 0 0
 1 0 1 0 0 0 0 0 0 0 0
 1 0 0 1 0 0 0 0 0 0 0
 1 0 0 0 1 0 0 0 0 0 0
 1 0 0 0 0 1 0 0 0 0 0
 1 0 0 0 0 0 1 0 0 0 0
 1 0 0 0 0 0 0 1 0 0 0
 1 0 0 0 0 0 0 0 1 0 0
 1 0 0 0 0 0 0 0 0 1 0
 1 0 0 0 0 0 0 0 0 0 -1
end

Vertex graph
begin
  0    0
end

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