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

H-representation
begin
 6 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
end

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

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