treatment of square roots. oof



Setting radexpand:false makes f(x) and g(x) be different.

It seems that maxima has simplified g(x) incorrectly by making sqrt(x^2) be
x.  This shouldn't happen since radexpand is true by default.  So at most
maxima should make g(x) be abs(x)/sqrt(1+sqrt(x)).

Ray


On Tue, Sep 6, 2011 at 1:25 PM, Richard Fateman
<fateman at eecs.berkeley.edu>wrote:

> f(x):=x/sqrt(1+sqrt(x));
> g(x):=sqrt(x^2/(1+sqrt(x)));
>
> f(x)-g(x) returns 0
>
> f(3)-g(3) returns 0
>
> f(-3) - g(-3)  is NOT zero.
>
> indeed, f(x)-g(x) is not zero if x<0....  is there a remedy?
>
> RJF
>
>
>
> ______________________________**_________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/**mailman/listinfo/maxima<http://www.math.utexas.edu/mailman/listinfo/maxima>;
>