 |
|
List Archives >
Maple User Group List Archive >
Archive by date >
This Month By Date >
This Month By Topic
[MUG] bug in is?.
| [MUG] bug in is?. |
|
Author: Herman Jaramillo
Posted: Mon, 10 Jun 2002 12:45:45 -0500
|
>> 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
> simplify(cos(a)*cos(a)-sin(b)*sin(b)-cos(b)*cos(b)+sin(a)*sin(a));
0
Is this a bug?.
Herman.
Herman Jaramillo phone: 713 689 6503
Senior Research Scientist fax: 713 689 6100
WesternGeco, email: "herman.jaramillo"
P.O. Box 2469
Houston, Texas 77252-2469
|
| [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
|
Previous by date: [MUG] Re: Assignment, Maple User Group
Next by date: [MUG] Re: bug in is?., Maple User Group
Previous thread: [MUG] Export to html in Maple 8 -- problem, Carl Eberhart
Next thread: [MUG] bug in is?., Herman Jaramillo
|
|
|
(NAG)
