#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 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?
--
Ticket URL: <http://trac.sagemath.org/ticket/17867#comment:11>
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.
