#12780: Be more careful about setting the Maxima 'domain'
------------------------------------+---------------------------------------
Reporter: mjo | Owner: burcin
Type: enhancement | Status: closed
Priority: major | Milestone: sage-5.6
Component: symbolics | Resolution: fixed
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Burcin Erocal
Authors: Michael Orlitzky | Merged in: sage-5.6.beta0
Dependencies: #12845 | Stopgaps:
------------------------------------+---------------------------------------
Comment (by kcrisman):
Replying to [comment:17 zimmerma]:
> > and one then chooses a branch - arbitrarily, but consistently
>
> I believe when one chooses {{{x}}} for {{{sqrt(x^2)}}}, one can always
find some inconsistency. For example:
> {{{
> sage: e=sqrt(x^2)-sqrt((x+2)^2)
> sage: e.simplify_radical()
> -2
> sage: e(x=-1)
> 0
> }}}
> Paul
You are probably right. I would encourage you to take this up with the
Maxima developers on their list, because I personally want to know whether
it's even worth thinking about this, or whether mjo is really right and we
should just can `simplify_radical`, or perhaps relegate it to the deepest
recesses of Tartarus.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12780#comment:18>
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.
