Opened 4 years ago
Last modified 2 years ago
#20424 closed defect
More tests for common MIP TestSuite: add_col, solve; some fixes for backends — at Version 14
Reported by:  mkoeppe  Owned by:  

Priority:  major  Milestone:  sage7.3 
Component:  numerical  Keywords:  lp 
Cc:  dimpase, vdelecroix, jdemeyer, chapoton, nbruin  Merged in:  
Authors:  Matthias Koeppe  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  u/mkoeppe/backend_testsuite_failing_tests (Commits)  Commit:  07c9c5dd48f4911e1f249698c3c13892af4a06f1 
Dependencies:  #20323,#20600,#20325  Stopgaps: 
Description (last modified by )
Split out from #20323.
This patch adds new _test methods for add_col
, solve
, and for #18572 (but disabled for CVXOPT, where it fails).
To make the new test methods happy,
 implement
add_col
for Gurobi;  fix Gurobi's treatment of unbounded variables;
 fix CPLEX unboundedness detection.
From dimpase:
I recall asking how one deals with different backends producing different, albeit equivalent, outputs. E.g. some of them would even introduce extra variables for some constraints (see e.g. http://trac.sagemath.org/ticket/13148#comment:2). Some backends assign names to constraints automatically.
Change History (14)
comment:1 Changed 4 years ago by
 Cc dimpase vdelecroix added
 Description modified (diff)
comment:2 Changed 4 years ago by
 Branch set to u/mkoeppe/backend_testsuite_failing_tests
comment:3 Changed 4 years ago by
 Commit set to e5e6227255cc92fe61664eeabc4320be35ad6933
comment:4 Changed 4 years ago by
 Commit changed from e5e6227255cc92fe61664eeabc4320be35ad6933 to af1e88518622375bfb46d37070445d42176e5c1a
Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:
48b9fe5  Change from mutating instance _test methods to class methods

5394729  New method _test_ncols_nonnegative

7138fa0  GenericBackend: Remove failing _test methods from this ticket to make the patchbot and its friends happy

9f4f25c  Revert "GenericBackend: Remove failing _test methods from this ticket to make the patchbot and its friends happy"

8421950  _test_copy: New

3f0578b  _test_copy_does_not_share_data: New

f5b42b8  Test backend.copy() rather than copy(backend)

f21ce7c  test_copy_some_mips: New

21abe28  Add _test_solve_trac_18572 (autogenerated)

af1e885  _test_solve_trac_18572: Replace float integers by integers to make test suitable for PPL backend

comment:5 Changed 4 years ago by
Rebased on top of #20323 branch on top of 7.2.beta4
comment:6 Changed 4 years ago by
 Commit changed from af1e88518622375bfb46d37070445d42176e5c1a to a5a1c6098815a37b69bd4716d83a639ba35a7ba9
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
6d01dc8  Revert "GenericBackend: Remove failing _test methods from this ticket to make the patchbot and its friends happy"

850b817  Add _test_solve_trac_18572 (autogenerated)

a5a1c60  _test_solve_trac_18572: Replace float integers by integers to make test suitable for PPL backend

comment:7 Changed 4 years ago by
Rebased on top of 7.2.beta5. Dropped "Test backend.copy() rather than copy(backend)".
comment:8 Changed 4 years ago by
How do you do test autogeneration (mentioned in 850b817) ?
comment:9 Changed 4 years ago by
comment:10 Changed 4 years ago by
 Commit changed from a5a1c6098815a37b69bd4716d83a639ba35a7ba9 to bb7f5de0594b3381770039003ec763b901f1dc41
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
cc0d326  Revert "GenericBackend: Remove failing _test methods from this ticket to make the patchbot and its friends happy"

6cd0b4a  Add _test_solve_trac_18572 (autogenerated)

492534d  _test_solve_trac_18572: Replace float integers by integers to make test suitable for PPL backend

658972c  Fix doctests when Gurobi is installed

cfaf157  Instead of running MixedIntegerLinearProgram doctests with the default solver, use GLPK

bb7f5de  Merge branch 't/20328/tests_related_to_cplex___gurobi' into t/20424/backend_testsuite_failing_tests

comment:11 Changed 4 years ago by
rebased on 7.2.beta6
comment:12 Changed 4 years ago by
 Commit changed from bb7f5de0594b3381770039003ec763b901f1dc41 to 07c9c5dd48f4911e1f249698c3c13892af4a06f1
Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:
f0ead34  CPLEXBackend: Use CPXgetstat to properly detect unboundedness

4aeaf9b  GurobiBackend.add_col: Implement

a65f66b  GenericBackend._test_add_col: New

51c2116  GurobiBackend.add_variable: Support coefficients keyword

c2eb25d  GurobiBackend: Fix GRB_INFINITY confusion

6adf3d9  CVXOPTBackend: Don't test _test_solve because of #18572

def61de  Add _test_solve_trac_18572 (autogenerated)

9f287a3  _test_solve_trac_18572: Replace float integers by integers to make test suitable for PPL backend

b60d790  CVXOPTBackend: Disable _test_solve_trac_18572 because of #18572

07c9c5d  GLPKExactBackend: Adjust output

comment:13 Changed 4 years ago by
 Dependencies changed from #20323 to #20323,#20600,#20325
 Status changed from new to needs_review
comment:14 Changed 4 years ago by
 Cc jdemeyer chapoton nbruin added
 Description modified (diff)
 Summary changed from More tests for common MIP TestSuite to More tests for common MIP TestSuite: add_col, solve; some fixes for backends
Branch is on top of #20323.
Last 10 new commits:
Change from mutating instance _test methods to class methods
New method _test_ncols_nonnegative
GenericBackend: Remove failing _test methods from this ticket to make the patchbot and its friends happy
Revert "GenericBackend: Remove failing _test methods from this ticket to make the patchbot and its friends happy"
_test_copy: New
_test_copy_does_not_share_data: New
Test backend.copy() rather than copy(backend)
test_copy_some_mips: New
Add _test_solve_trac_18572 (autogenerated)
_test_solve_trac_18572: Replace float integers by integers to make test suitable for PPL backend