For radcan, sqrt(x^2) IS simplified to x, deliberately. Radcan does not
look at the domain setting.
If you don't want this kind of simplification, don't use radcan.
RJF
> -----Original Message-----
> From: maxima-bounces at math.utexas.edu
> [mailto:maxima-bounces at math.utexas.edu] On Behalf Of Mike Hansen
> Sent: Tuesday, December 11, 2007 2:49 AM
> To: maxima
> Subject: Re: [Maxima] Maxima incorrectly simplifies powers
>
> I am now getting an issue with radcan under the complex domain.
>
> (%i13) domain: complex$
> (%i14) radcan( sqrt(x^2) - x );
> (%o14) 0
> (%i15) domain: real$
> (%i16) radcan( sqrt(x^2) - x );
> (%o16) abs(x) - x
>
> --Mike
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>