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

H-representation
begin
 4 3 rational
 12 2 -1
 -6 -1 2
 -3 1 1
 1 1 0
end

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

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