On Wed, 24 Apr 2002 16:04:37 +1000
"Billinghurst, David (CRTS)" <David.Billinghurst@riotinto.com> wrote:
> I am having trouble with assume() and is().
> With current cvs and both:
> - irix6.5 with clisp
> - mingw with gcl
>
> I understand this works with macsyma, but can't test that.
>
> 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) is(x>y);
> (D2) TRUE
> (C3) is(2*x > 2*y);
> (D3) TRUE
> (C4) is(x^2 > y^2);
> MACSYMA was unable to evaluate the predicate:
> 2 2
> x > y
> -- an error. Quitting. To debug this try DEBUGMODE(TRUE);)
>
hummm...
x:-1; y:-2;
Maxima is not so crazy.
Best regards.
--
Daniel Duparc <daniel.duparc@free.fr>
29 av. de la Commune de Paris
94400 Vitry sur Seine (France)