Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
sagemath
GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/input/test.ext
8820 views
H-representation
begin
 8   4   rational
 0  1  0  0
 0  0  1  0
 0  0  0  1
 1 -1 -1 -1
 1 -1 -1  0
 1  0 -1 -1
 1 -1  0 -1
 2 -1 -1 -1
end