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

H-representation
linearity 2  1 2
begin
 3 5 rational
 3 0 -1 0 0
 9/2 0 0 -1 -1
 0 1 1 0 0
end

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

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