#20415: Polyhedron.to_linear_program should select solver by base_ring
---------------------------+-----------------------------------
   Reporter:  mkoeppe      |            Owner:
       Type:  enhancement  |           Status:  new
   Priority:  major        |        Milestone:  sage-7.2
  Component:  geometry     |         Keywords:  lp
  Merged in:               |          Authors:  Matthias Koeppe
  Reviewers:               |  Report Upstream:  N/A
Work issues:               |           Branch:
     Commit:               |     Dependencies:
   Stopgaps:               |
---------------------------+-----------------------------------
 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`.

--
Ticket URL: <http://trac.sagemath.org/ticket/20415>
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.

Reply via email to