#12884: Fix problems introduced by remove_constraint functionality in MIP
----------------------------------------------------------------------------+
Reporter: john_perry |
Owner: ncohen
Type: defect |
Status: needs_review
Priority: minor |
Milestone: sage-5.1
Component: linear programming |
Resolution:
Keywords: glpk, mixed integer programming, mip, linear programming |
Work issues:
Report Upstream: N/A |
Reviewers:
Authors: John Perry |
Merged in:
Dependencies: #12823 |
Stopgaps:
----------------------------------------------------------------------------+
Comment (by john_perry):
Replying to [comment:7 ncohen]:
> +1 to experience against hasty thinking. Let them be lists `:-)`
Ah, too bad. I had been hoping you had some insight on floating point that
would convert me. :-)
But, yes, failing to detect some redundant constraints isn't as
catastrophic as failing to remove even one constraint that must be
removed. Maybe one day we can figure some way to make the check for
redundancy more efficient by sorting the list somehow, but it works pretty
well for me right now in practice.
It would be nicer if the backends did that for us, but they don't. :-(
Alright: I'll submit a revision of this patch at some point, with the
added doctest. Speaking of which, I noticed that the doctest coverage in
sage/numerical isn't quite at 100%, and some people have been talking
about that. Shall I try to complete that, and add it to this patch? That
shouldn't be an issue, except that I can't quite test all the packages.
(Though I can now test Gurobi & Cbc as well as GLPK).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12884#comment:8>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
