#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:16 ncohen]:
> > for ineasibility, a Farkas certificate (i.e. coefficients of a
nonnegative linear
> > combination of inequalities producing a contradiction) seems to be an
obvious choice.
>
> This is what I am asking. How do we return that? As list of floats, and
that's it?
>
floats, or the other appropriate base ring (e.g. rationals for PPL).
Anything that maps correctly into the list of constraints would do.
> Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/17867#comment:17>
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.
