#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:
-------------------------------------+-------------------------------------
Description changed by mkoeppe:
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` or `solver=...` argument to
> `to_linear_program`.
> (The patch adds many examples that illustrate this.)
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 (but note, speed is irrelevant for this method,
because when the `Polyhedron` was set up, already the double description
has been computed eagerly.)
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.)
--
--
Ticket URL: <http://trac.sagemath.org/ticket/20415#comment:3>
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.
