Re: [sage-devel] Re: Opinions wanted on simplification method for real expressions

2014-11-05 Thread Michael Orlitzky
On 11/05/2014 08:34 AM, kcrisman wrote: > > Just to clarify, current behavior is > > sage: a = sqrt(x^2) > sage: a.simplify_radical() > x Yeah, previously, simplify_radical() was silently setting the domain to 'real', calling radcan(), and then setting the domain back to 'complex'. The round t

[sage-devel] Re: Opinions wanted on simplification method for real expressions

2014-11-05 Thread kcrisman
> In http://trac.sagemath.org/ticket/14630, I have a patch that adds a > simplify_real() method to symbolic expressions. Pretty much the only > thing it does is simplify, > > sqrt(x^2) -> abs(x) > > In the past, you could obtain this with simplify_radical(), even though > the variable `x`