#20415: Polyhedron.to_linear_program should select solver by base_ring
-------------------------------------+-------------------------------------
Reporter: mkoeppe | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.2
Component: geometry | Resolution:
Keywords: lp | Merged in:
Authors: Matthias Koeppe | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/mkoeppe/polyhedron_to_linear_program_should_select_solver_by_base_ring|
7b7aa5e78ce749805681e252e402f9c08feedbd9
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by mkoeppe):
* status: new => needs_review
* commit: => 7b7aa5e78ce749805681e252e402f9c08feedbd9
Old description:
> This is a follow-up on #20301.
> #20296 provides a way to select a suitable solver by its `base_ring`.
>
> `Polyhedron.to_linear_program` should do that.
>
> Note, for exact polyhedra, this will change the behavior of
> `to_linear_program` from inexact computation to exact computation, which
> will be much slower. To restore the old behavior, the user would need to
> pass an explicit `base_ring=RDF` argument to `to_linear_program`.
New description:
This is a follow-up on #20301.
#20296 provides a way to select a suitable solver by its `base_ring`.
`Polyhedron.to_linear_program` should do that.
Note, for exact polyhedra, this will change the behavior of
`to_linear_program` from inexact computation to exact computation, which
will be much slower. To restore the old behavior, the user would need to
pass an explicit `base_ring=RDF` or `solver=...` argument to
`to_linear_program`.
(The patch adds many examples that illustrate this.)
--
Comment:
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=20d6c5a66eb63678f7c5f9b7a3012bbd2dede436
20d6c5a]||{{{get_backend: Pass base_ring to PPLBackend, raise an error if
not QQ}}}||
||[http://git.sagemath.org/sage.git/commit/?id=4b42d4a3ede86f5e1d6983fb4756b5404077837c
4b42d4a]||{{{get_solver: Take base_ring's fraction field}}}||
||[http://git.sagemath.org/sage.git/commit/?id=7b7aa5e78ce749805681e252e402f9c08feedbd9
7b7aa5e]||{{{to_linear_program: Select solver according to base_ring,
which can be overriden by keyword argument}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/20415#comment:2>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
