[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread Peter Bruin
Hello, I've noticed the following change in simplifications between Sage 6.3 and preceeding versions: In Sage 6.2 (and preceeding): sage: simplify( abs(sqrt(x)) ) sqrt(x) sage: simplify( abs(1/sqrt(x)) ) 1/sqrt(x) while in Sage 6.3: sage: simplify( abs(sqrt(x)) ) sqrt(x) sage:

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread Eric Gourgoulhon
Hi, Le mardi 16 septembre 2014 09:30:23 UTC+2, Peter Bruin a écrit : This is probably due to Maxima. The following happens with and without the domain: complex setting: Maxima 5.34.0 http://maxima.sourceforge.net using Lisp ECL 12.12.1 Distributed under the GNU Public License. See

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread Eric Gourgoulhon
PS: in the above code, I've simply cut and paste lines from Expression._maxima_(). In the present case, the super is not necessary and the code can be simplified to In Sage 6.2: sage: from sage.calculus.calculus import maxima sage: abs(1/sqrt(x))._interface_(maxima) 1/sqrt(x) while in Sage

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread Eric Gourgoulhon
PS2 : so Karl-Dieter Crisman was right: the change in behavior is due to the introduction of unique names for Sage variables in the interface. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread Peter Bruin
Hello, PS: in the above code, I've simply cut and paste lines from Expression._maxima_(). In the present case, the super is not necessary and the code can be simplified to In Sage 6.2: sage: from sage.calculus.calculus import maxima sage: abs(1/sqrt(x))._interface_(maxima) 1/sqrt(x)

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread Peter Bruin
PS: the following message from the Maxima mailing list (found via a different sqrt-related report in the Maxima bug tracker) is quite useful: https://www.ma.utexas.edu/pipermail/maxima/2011/025213.html From that page: * abs is a mathematical function which has simplification rules. It assumes

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread Eric Gourgoulhon
Thanks for the link! This is quite instructive. Eric. Le mardi 16 septembre 2014 11:41:42 UTC+2, Peter Bruin a écrit : PS: the following message from the Maxima mailing list (found via a different sqrt-related report in the Maxima bug tracker) is quite useful:

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-16 Thread kcrisman
Thanks for the link! This is quite instructive. Indeed. Perhaps we should point this out in our documentation for `abs`. Le mardi 16 septembre 2014 11:41:42 UTC+2, Peter Bruin a écrit : PS: the following message from the Maxima mailing list (found via a different sqrt-related

[sage-devel] Re: Change in simplification of combined abs sqrt in Sage 6.3

2014-09-15 Thread kcrisman
On Monday, September 15, 2014 3:24:42 PM UTC-4, Eric Gourgoulhon wrote: Hi, I've noticed the following change in simplifications between Sage 6.3 and preceeding versions: In Sage 6.2 (and preceeding): sage: simplify( abs(sqrt(x)) ) sqrt(x) sage: simplify( abs(1/sqrt(x)) ) 1/sqrt(x)