#11201: Point users of solve() to the to_poly_solve option
----------------------------------------------------------+-----------------
       Reporter:  benjaminfjones                          |         Owner:  was 
                               
           Type:  enhancement                             |        Status:  
needs_work                         
       Priority:  minor                                   |     Milestone:      
                               
      Component:  documentation                           |    Resolution:      
                               
       Keywords:  solve, maxima, to_poly_solve, beginner  |   Work issues:      
                               
Report Upstream:  N/A                                     |     Reviewers:  
Karl-Dieter Crisman, Benjamin Jones
        Authors:  Andrew Fleckenstein                     |     Merged in:      
                               
   Dependencies:                                          |      Stopgaps:      
                               
----------------------------------------------------------+-----------------

Comment (by afleckenstein):

 Replying to [comment:6 benjaminfjones]:
 > Here is what Sage does (same system of equations, same options):
 Using the same system of equations in sage does this:

 {{{
 sage: y=var('y')
 sage: solve([x^2+y^2==2^2, (x-1)^2+(y-1)^2==2^2], [x, y],
 to_poly_solve=True)
 [[x == -1/2*sqrt(7) + 1/2, y == 1/2*sqrt(7) + 1/2], [x == 1/2*sqrt(7) +
 1/2, y == -1/2*sqrt(7) + 1/2]]
 }}}

 I'm sure this is what you meant :-)

 Which makes is seem that use_grobner ''is'' set to true automatically if
 to_poly_solve is set to true.
 I think we should forget about printing a message and just focus on fixing
 the documentation, but I ran into a bit of a dead end with #12809. I guess
 the failing doctests could be rewritten, or a shorter message could be
 added in the documentation (e.g. "If you don't get explicit results, try
 setting to_poly_solve to True.")

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11201#comment:8>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to