> hummm...
> x:-1; y:-2;
> Maxima is not so crazy.
> Best regards.
Yep. It does handle exponents, which I think is what you thought was
wrong? Try the following:
Maxima 5.9.0pre-cvs (with enhancements by W. Schelter).
Licensed under the GNU Public License (see file COPYING)
(C1) assume(x > y);
(D1) [x > y]
(C2) assume(x > 0);
(D2) [x > 0]
(C3) assume(y > 0);
(D3) [y > 0]
(C4) is(x>y);
(D4) TRUE
(C5) is(2*x > 2*y);
(D5) TRUE
(C6) is(x^2 > y^2);
(D6) TRUE
That does bring up an interesting point, however. That error does look
like something went wrong internally. How would a debugger tell that
from a case like this?
CY
__________________________________________________
Do You Yahoo!?
Yahoo! Games - play chess, backgammon, pool and more
http://games.yahoo.com/