 |
|
List Archives >
Maple User Group List Archive >
Archive by date >
This Month By Date >
This Month By Topic
[MUG] Re: bug in is?.
| [MUG] Re: bug in is?. |
|
Author: Maple User Group
Posted: Fri, 14 Jun 2002 17:11:44 -0400
|
>> From: Maple User Group "maple_gr"
| >> From: Herman Jaramillo "HJaramillo"
| In Maple 7.
| > is(cos(a)*cos(a)-sin(b)*sin(b)=cos(b)*cos(b)-sin(a)*sin(a));
| FAIL
| Is this a bug?.
-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-
Date: Tue, 11 Jun 2002 19:13:18 -0700 (PDT)
From: Robert Israel "israel"
To: "maple-list"
Subject: bug in is?.
Perhaps more of a weakness than a bug. "is" does not take identities
among transcendental functions into account when checking equalities.
Unfortunately the help page does not mention this. For example:
> is(exp(2*x) = exp(x)^2);
FAIL
Interestingly, however:
> is(exp(2*x)<=exp(x)^2) assuming x::real;
true
> is(exp(2*x)>=exp(x)^2) assuming x::real;
true
BTW: does anybody have an example where "_EnvTry:= hard" makes a
difference in the result of "is"?
Robert Israel "israel"
Department of Mathematics http://www.math.ubc.ca/~israel
University of British Columbia
Vancouver, BC, Canada V6T 1Z2
-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-
Date: Wed, 12 Jun 2002 04:44:49 -0400 (EDT)
From: Carl Devore "devore"
To: "maple-list"
Subject: bug in is?.
The FAIL indicates that "is" could not figure out the answer, so I would
very rarely consider an answer of FAIL to be a bug. However, it seems
like "is" has been terribly messed up in Maple 8. In Maple 8, the above
"is" returns false.
-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-=*=-
Date: Wed, 12 Jun 2002 13:50:49 -0400
From: RICHARD YOUNG "ryoungj1"
Subject: bug in is?.
To: "maple-list"
Maple V release 4 returns a true.
-Andy
|
[View Complete Thread]
Previous by date: [MUG] bug in is?., Herman Jaramillo
Next by date: [MUG] Re: Plotting a point, Pavel Hruska
Previous thread: [MUG] NAG-sparse Matrix storage format in Maple, Richard Seagraves
Next thread: [MUG] Plotting a point, Peter Harmand
|
|
|
(NAG)
