#14305: bug in simplify_radical
----------------------------+-----------------------------------------------
Reporter: zimmerma | Owner: burcin
Type: defect | Status: new
Priority: critical | Milestone: sage-5.9
Component: calculus | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
----------------------------+-----------------------------------------------
Old description:
> in Sage 5.7 we get:
> {{{
> sage: (x^2).simplify_radical()
> x^2
> }}}
> This is wrong (consider x=-1 for example). Even:
> {{{
> sage: assume(x<0)
> sage: sqrt(x^2).simplify_radical()
> x
> }}}
>
> Note: this invalidates a whole part of our book (in french) about Sage at
> http://sagebook.gforge.inria.fr/
New description:
in Sage 5.7 we get:
{{{
sage: sqrt(x^2).simplify_radical()
x
}}}
This is wrong (consider x=-1 for example). Even:
{{{
sage: assume(x<0)
sage: sqrt(x^2).simplify_radical()
x
}}}
Previously it was
{{{
sage: sqrt(x^2).simplify_radical()
abs(x)
}}}
Note: this invalidates a whole part of our book (in french) about Sage at
http://sagebook.gforge.inria.fr/
--
Comment (by kcrisman):
Regarding these three tickets (#14305, #14306, #14307) perhaps it would be
good to get that book in the standard documentation under fr/ so that it
can be part of doctests? Just a brainstorm, perhaps it is not a good idea
for various reasons.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14305#comment:1>
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.
