#17867: Risk of confusion between LPProblem and MixedIntegerLinearProgram
-------------------------------------+-------------------------------------
Reporter: ncohen | Owner:
Type: defect | Status: positive_review
Priority: major | Milestone: sage-6.6
Component: linear | Resolution:
programming | Merged in:
Keywords: | Reviewers: Andrey Novoseltsev
Authors: Nathann Cohen | Work issues:
Report Upstream: N/A | Commit:
Branch: public/17867 | 5b98d3d61c7b13d89d73dea09947f81d4f9e61be
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by dimpase):
Replying to [comment:11 novoselt]:
> Replying to [comment:6 dimpase]:
> > Replying to [comment:5 vdelecroix]:
> > >
> > > And last but not the least: we can use the class `ILPP` to cross
check the validity of (float) `MILP` and vice-versa.
> >
> >
> > I mentioned some time ago that there is a way to get proper
certificates of optimality/infeasibility for LPs (cf Farkas lemma, etc),
and it ought to be in Sage...
>
> Definitely, and these certificates are produced for free when using
simplex method, one should just get them out - do solvers interfaces from
Sage support providing them?
Commercial solvers like CPLEX and GUROBI do provide these certs, as well
as CVXOPT, but GLPK apparently not, cf https://lists.gnu.org/archive/html
/help-glpk/2010-11/msg00062.html
Apparently this is still the case, although the latter conversation took
place in 2010.
Not sure about PPL.
--
Ticket URL: <http://trac.sagemath.org/ticket/17867#comment:12>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
