Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
sagemath
GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/output/sampleh7.ine
8820 views
V-representation
begin
 6 3 rational
 1 0 5000/101
 1 2530000/130761 500000/43587
 1 42500/3999 2500/93
 1 10000/87 0
 0 1 0
 0 0 1
end

H-representation
begin
 5 3 rational
 0 1 0
 0 0 1
 -10000 87 725
 -10000 387 219
 -10000 430 202
end

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

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