On Thu, Mar 8, 2012 at 5:24 PM, Rubens Marinho <marinho.rubens at gmail.com>wrote:
>
>
> Dear all,
>
> I think I have found a bug in maxima
>
> I have entered the following commands:
>
> reset();kill(all);
> assume(z>r);
> radcan(sqrt(r^2-2*z*r+z^2));
>
> it gives
>
> z-r
>
> works fine
>
> but with capital R
>
> reset();kill(all);
> assume(z>R);
> radcan(sqrt(R^2-2*z*R+z^2));
>
> it gives
>
> R-z
>
> should be
> z-R
>
I don't think this is a bug. Radcan does sometimes do things like this and
that is the expected result. I don't think radcan recognizes assume either.
See also http://cadadr.org/maxima/faq.html.
We should document radcan better.
Ray