Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
sagemath
GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/input/sampleh6.ine
8821 views
* file name: sampleh6.ine
* test file for forced-equality checking
H-representation
begin
    5   4   integer
 0  1  0  0
 0  0  1  0
 0  0  0  1
 1 -1 -1 -1
-1  1  1  0
end