Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
sagemath
GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/input/sampleh7.ine
8820 views
* test file for redundancy removal
* the redundant rows are
* 3 4 5 9 10
* LP type =  1   Seed = 123
H-representation
begin
  10  3  integer
 0 1 0
 0 0 1
 -10000 651 693
 -10000 697 637
 -10000 368 824
 -10000 87 725
 -10000 387 219
 -10000 430 202
 -10000 356 988
 -10000 674 979
end