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

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

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

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