#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 sluther):
Well I'd say this feels like mixing different concepts. The log, radical,
etc. are about the form of the expression that's going to be transformed,
whereas the domain is about the values the variables in the expression may
take.
You're right that sometimes the application of simplifications in
different order yields different results. But I find this rather annoying
(not that I know how to fix it). By adding even more functions to the mix
we make this situation even worse.
I usually use simplify_full(). So as I understand it I'd always need to
call simplify_full() and simplify_real() in some order to benefit from the
knowledge about the domain.
And then I'm still left wondering if there are simplifications in
simplify_full() hat could benefit from this knowledge too, but didn't get
it because there's only simplify_real() and not simplify_full_real().
Is here a list of which simplify_* function could use this domain
parameter?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14630#comment:6>
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.
