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

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

Vertex graph
begin
  0    0
end

Facet graph
begin
  1    1
 1 0 :
end