#14630: Add `simplify_real` method to symbolic expressions
------------------------------------+---------------------------------------
       Reporter:  mjo               |         Owner:  burcin      
           Type:  enhancement       |        Status:  needs_review
       Priority:  major             |     Milestone:  sage-5.10   
      Component:  symbolics         |    Resolution:              
       Keywords:                    |   Work issues:              
Report Upstream:  N/A               |     Reviewers:              
        Authors:  Michael Orlitzky  |     Merged in:              
   Dependencies:                    |      Stopgaps:              
------------------------------------+---------------------------------------

Comment (by mjo):

 Replying to [comment:6 sluther]:

 All of the `simplify_foo()` functions except `simplify_radical()` could
 benefit from it. There are only a small number of subexpressions that can
 be simplified by `simplify_real()`, and I think only `simplify_radical()`
 will "simplify" out those subexpressions making `simplify_real()`
 redundant.

 The `simplify_radical()` method will change the expression `sqrt(x^2)` to
 either `x` or `-x` "consistently but arbitrarily.". This is not really a
 simplification, since it gives the wrong answer in the default case, so
 beware using `simplify_full()`. All of the rest could be combined with
 `simplify_real()` in some way.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14630#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 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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to