Maple bugs: A dangerous, misleading ad statement at the main Maplesoft's site
Vladimir Bondarenko
Upon visiting the main Maplesoft's site I found the following.
http://www.maplesoft.com/academic/students/index.aspx
MS> using Maple in your studies is a terrific way to get a head
MS> start in your career. ^^^^^^^^
With *dozens of thousands* bugs unfixed, their number keep growing?
To call a spade a spade, a piece of sheer hype. Such a statement
sounded reasonably and sincerely 10 years ago. As of end of 2004,
it is a just a motiveless, arrogant claim directed to humbug money
out of you, me, and other 5,000,000 Maple users all over the world.
In the light of the Review based on automated environment for Maple
bugs identification, early beta release of which is coming within
counted days, the above Maplesoft's statement should obviously read
MS> using Maple in your studies is a terrible, painful, time-wasting
MS> way to get a head start in your career.
Just an example of thousands, discovered by my GEMM machine, the
genuine co-author of the Review:
Maple 9.5.1> int(z-z+z^2+z^3, z=0..1);
int(z-z+z^2+z^3, z=0..1);
int(z-z+z^2+z^3, z=0..1);
int(z-z+z^2+z^3, z=0..1);
int(z-z+z^2+z^3, z=0..1);
int(z-z+z^2+z^3, z=0..1);
int(z-z+z^2+z^3, z=0..1);
int(z-z+z^2+z^3, z=0..1);
7/12
7/6
7/12
7/6
7/12
7/6
7/12
7/6
Best wishes,
Vladimir Bondarenko
http://www.cybertester.com/
http://maple.bug-list.org/
http://www.CAS-testing.org/
................................................................................
nospam nospam
>
> Maple 9.5.1> int(z-z+z^2+z^3, z=0..1);
> int(z-z+z^2+z^3, z=0..1);
>
> 7/12
> 7/6
Interesting. How did you find this?
But there is an easy fix:
> int(z-z+z^2+z^3, z=0..1);
> restart;
> int(z-z+z^2+z^3, z=0..1);
> restart;
> int(z-z+z^2+z^3, z=0..1);
> restart;
7/12
7/12
7/12
:)
Harald Pleym
Try
>Int(z-z+z^2+z^3, z=0..1);
>Int(z-z+z^2+z^3, z=0..1);
> etc
and you get a steady changing integrand.
You get the same problem in 9.5, but you avoid the problem using Maple
8, which still is much better than 9.5.
Otherwise I am still not able to install 9.5.1 on my labtop, and
Maplesoft support has not been able to tell me what the problem is.
And the problem is not a firewall problem as they suggested again and
again.
Cheers,
Harald Pleym
http://www.hpleym.no
Vladimir Bondarenko
NN> Interesting. How did you find this?
My answer to your request is both disappointing and inspiring. I personally
found nothing, they are my algorithms that found this. I just did not trusted
my own eyes... double checked... and learned that GEMM worked correctly.
NN> But there is an easy fix: [using restart;]
ROTFL! You're resourceful ;-) Oki-doki, now what about this my comment?
April 12, 2004, Re: Maple bugs: the next freeze frame calculated by GEMM?
http://groups.google.com/groups?hl=en&lr=&safe=off&selm=znap0bmwfsz8%40legacy
...............................................................................
BUG # XXXXX int (1-D): SIDE EFFECT
REGRESSION YES
REPRODUCIBLE ALWAYS
BUG HISTORY: PRESENT Maple 9.51, IBM INTEL NT, Aug 9 2004 Build ID 163356
PRESENT Maple 9.50, IBM INTEL NT, Apr 7 2004 Build ID 155251
PRESENT Maple 9.03, IBM INTEL NT, Oct 1 2003 Build ID 141050
PRESENT Maple 9.01, IBM INTEL NT, Jul 9 2003 Build ID 137227
ABSENT Maple 8.00, IBM INTEL NT, May 10 2002 Build ID 111221
ABSENT Maple 7.00, IBM INTEL NT, May 28 2001 Build ID 96223
ABSENT Maple 6.01, IBM INTEL NT, Jun 9 2000 Build ID 79514
ABSENT Maple V, Release 5, IBM INTEL NT, Nov 27 1997
ABSENT Maple V, Release 4, IBM INTEL NT, Dec 15, 1995
ABSENT Maple V, Release 3, IBM INTEL NT, Jan 10, 1994
DESCRIPTION: Two distinct outputs for the same input, both are invalid.
EXPRESSION: restart; int(z^(2/3), z= 1..10);
ACTUAL: (output A) -1/3*3^(1/2)*GAMMA(2/3)*(-6*75^(1/2)*3^(1/2)*Pi/GA\
MMA(2/3)+3/5*Pi*3^(1/2)/GAMMA(2/3))/Pi -> 51.36152423
(output B) -3*3^(1/2)*GAMMA(2/3)*(1/15*Pi*3^(1/2)/GAMMA(2/3)-\
2/3*25^(1/2)*Pi/GAMMA(2/3))/Pi -> 16.72050808
EXPECTED: Maple always returns the same answer,
6*10^(2/3)-3/5 -> 27.24953300
CHECKUP: evalf(Int(sqrt(z)*(z^(1/6)), z= 1..10));
27.24953300
...............................................................................
No one
[...]
> EXPRESSION: restart; int(z^(2/3), z= 1..10);
>
> ACTUAL: (output A) -1/3*3^(1/2)*GAMMA(2/3)*(-6*75^(1/2)*3^(1/2)*Pi/GA\
> MMA(2/3)+3/5*Pi*3^(1/2)/GAMMA(2/3))/Pi -> 51.36152423
> restart; int(z^(2/3), z= 1..10);
/ (1/2) (1/2) \
(1/2) /2\ | Pi 3 2 25 Pi|
3 3 GAMMA|-| |----------- - ------------|
\3/ | /2\ /2\ |
|15 GAMMA|-| 3 GAMMA|-| |
\ \3/ \3/ /
- ----------------------------------------------
Pi
however, a small adjustment returns a better answer:
> restart; int(z^(2/3), z= 1.0..10.0);
27.24953300
--
'No one'
Vladimir Bondarenko
> however, a small adjustment returns a better answer:
>
> > restart; int(z^(2/3), z= 1.0..10.0);
> 27.24953300
He-he... don't you by chance think that by "small adjustment" you understand
quite a different task? ;-) Is really your answer to the point?
Initially, I was speaking about symbolic mode... you propose me use numeric....
have you personally paid for numerics? which by the way is also screwed much
Maple 9.5.1 > evalf(Int(sqrt(-z^2)/z, z= -1..1));
Maple 9.5 > evalf(Int(sqrt(-z^2)/z, z= -1..1));
Maple 9.03 > evalf(Int(sqrt(-z^2)/z, z= -1..1));
Maple 8 > evalf(Int(sqrt(-z^2)/z, z= -1..1));
Maple 7 > evalf(Int(sqrt(-z^2)/z, z= -1..1));
Maple V Release 3> evalf(Int(sqrt(-z^2)/z, z= -1..1));
2.000000000*I
2.000000000*I
2.000000000*I
2.000000000*I
2.000000000*I
Only some old Maple versions can do this trivial stuff
Maple 6> evalf(Int(sqrt(-z^2)/z, z= -1..1));
Maple V Release 5> evalf(Int(sqrt(-z^2)/z, z= -1..1));
Maple V Release 4> evalf(Int(sqrt(-z^2)/z, z= -1..1));
0.*I
0
0
What I got from your last reply is a hidden reference to a famous stuff,
Real programmers don't write specs.
Real programmers don't draw flowcharts.
Real programmers don't read manuals.
Reliance on a reference is a hallmark of the novice and the coward.
..............................................
which sooner or later logically and sadly ends with
Users should be grateful for whatever they get.
They are lucky to get any program at all.
;)
Read for far much fun my Report coming.
No one
> No one <no...@thisplace.thanks> wrote in message news:<860rd.4019$u81....@newsread3.news.pas.earthlink.net>...
>
>>however, a small adjustment returns a better answer:
>>
>> > restart; int(z^(2/3), z= 1.0..10.0);
>> 27.24953300
>
> He-he... don't you by chance think that by "small adjustment" you understand
> quite a different task? ;-) Is really your answer to the point?
my purpose was to offer a relatively simple work-around. but this is
usenet, and the standard caveat applies.
--
'No one'
Heike.Koch- Beuttenmueller
kobeu@orkusl:~/Softwarequellen/nag/nagcmk7> maple
|\^/| Maple 9.5 (IBM INTEL LINUX)
._|\| |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc.
2004
\ MAPLE / All rights reserved. Maple is a trademark of
<____ ____> Waterloo Maple Inc.
| Type ? for help.
> a1:=z-z+z^2+z^3;
2 3
a1 := z + z
> a1:=z-z+z^2+z^3;
2 3
a1 := 2 z + 2 z
> a1:=z-z+z^2+z^3;
2 3
a1 := z + z
> a1:=z-z+z^2+z^3;
2 3
a1 := 2 z + 2 z
Are there other problems knwon in polynomial calculations?
What has been changed ?
Best wishes,
Heike
Robert Israel
Heike.Koch- Beuttenmueller <"Heike.Koch- Beuttenmueller"@kiz.uni-ulm.de> wrote:
>The Problem is not the integration routine, but polynomial calculations
>Are there other problems knwon in polynomial calculations?
>What has been changed ?
The problem is with the simplification of z-z.
See Paul DeMarco's posting of Nov. 29 in comp.soft-sys.math.maple
on the Subject: Re: not nice
<http://www.google.com/groups?selm=4335f08b.0411291446.b746067%40posting.google.com>
Robert Israel isr...@math.ubc.ca
Department of Mathematics http://www.math.ubc.ca/~israel
University of British Columbia Vancouver, BC, Canada
Vladimir Bondarenko
With Maple bugs, we have a situation the French call 'embarras
de richesse', which means difficulty of choice coming from the
extreme richness of the stuff to pick up from.
The GEMM automated testing machine reveals us hundreds of very
stupid Maple bugs along with thousands so to say regular bugs,
but some of them are really pedigree ridiculous - because the
stuff involved is school-like.
- Elementary, Watson, - as Mr Holmes has it.
Let me supply you with the next striking student level example
of Maple quality degradation where only Maple V Relese 5/4/3
of 1994-1997 worked, and all the later Maple versions produce
a totally meaningless answer.
maximize(tan(z)^2, z= 0..infinity);
--------------------Maple 9.5.1-------------------------------
f
--------------------Maple 9.5---------------------------------
f
--------------------Maple 9-----------------------------------
f
--------------------Maple 8-----------------------------------
f
--------------------Maple 7-----------------------------------
f
--------------------Maple 6-----------------------------------
f
--------------------Maple V Rel 5-----------------------------
infinity
--------------------Maple V Rel 4-----------------------------
infinity
--------------------Maple V Rel 3-----------------------------
infinity
--------------------------------------------------------------
For Maple V Release 5 and the earlier versions, use the syntax
maximize(tan(z)^2, z, {z= 0..infinity});
The same bug manifestation is with
maximize(sqrt(tan(z)), z= 0..infinity);
maximize(tan(z)^3, z= 0..infinity);
maximize(tan(z)^4, z= 0..infinity);
maximize(tan(z)^5, z= 0..infinity);
maximize(tan(z)^6, z= 0..infinity);
maximize(tan(z)^7, z= 0..infinity);
maximize(tan(z)^8, z= 0..infinity);
maximize(tan(z)^9, z= 0..infinity);
maximize(tan(z)^10, z= 0..infinity);
maximize(tan(z)^(1/3), z= 0..infinity);
maximize(tan(z)^(2/3), z= 0..infinity);
maximize(tan(z)^(4/3), z= 0..infinity);
maximize(tan(z)^(1/4), z= 0..infinity);
maximize(tan(z)^(3/4), z= 0..infinity);
maximize(tan(z)^(1/5), z= 0..infinity);
maximize(tan(z)^(2/5), z= 0..infinity);
maximize(tan(z)^(3/5), z= 0..infinity);
maximize(tan(z)^(4/6), z= 0..infinity);
maximize(tan(z)^(1/6), z= 0..infinity);
maximize(sqrt(cot(z)), z= 0..infinity);
maximize(cot(z)^3, z= 0..infinity);
maximize(cot(z)^4, z= 0..infinity);
maximize(cot(z)^5, z= 0..infinity);
maximize(cot(z)^6, z= 0..infinity);
maximize(cot(z)^7, z= 0..infinity);
maximize(cot(z)^8, z= 0..infinity);
maximize(cot(z)^9, z= 0..infinity);
maximize(cot(z)^10, z= 0..infinity);
maximize(cot(z)^(1/3), z= 0..infinity);
maximize(cot(z)^(2/3), z= 0..infinity);
maximize(cot(z)^(4/3), z= 0..infinity);
maximize(cot(z)^(1/4), z= 0..infinity);
maximize(cot(z)^(3/4), z= 0..infinity);
maximize(cot(z)^(1/5), z= 0..infinity);
maximize(cot(z)^(2/5), z= 0..infinity);
maximize(cot(z)^(3/5), z= 0..infinity);
maximize(cot(z)^(4/6), z= 0..infinity);
maximize(cot(z)^(1/6), z= 0..infinity);
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f