The joys of over simplifying test cases without thinking.
(It was late).
The original problem was
(C1) assume(x^2 > y^2);
2 2
(D1) [x > y ]
(C2) is(x^2>y^2);
(D2) TRUE
(C3) is(4*x^2>4*y^2);
MACSYMA was unable to evaluate the predicate:
ERREXP1
-- an error. Quitting. To debug this try DEBUGMODE(TRUE);)
-----Original Message-----
From: Daniel Duparc [mailto:daniel.duparc at free]
Sent: Thursday, 25 April 2002 3:19
To: Billinghurst, David (CRTS)
Cc: maxima@www.ma.utexas.edu
Subject: Re: [Maxima] assume(x>y); is(x^ >y^2) problem
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 at free>
29 av. de la Commune de Paris
94400 Vitry sur Seine (France)