On Thu, 14 Feb 2008 13:37:05 -0800, Vladimir Bondarenko wrote:
> -----------------------------------------------------------------
>
> Unique Maple bug data not available elsewhere.
>
> Crashes. Absurd results. Math roulette clanging.
>
> Simple made challenging by fragile Maple kernel.
>
> 750 pages of selected Maple 12 bugs.
>
> The beta 0.2 of the first world's document written
> by a human in a close cooperation with a successor
> of the GEMM machine, our unique VM automated testing
> expert system which is a failure prediction oracle.
>
> To be released in max 2 months after Maple 12 release.
>
> -----------------------------------------------------------------
>
> http://maple.bug-list.org/maple-crisis.php
>
> " Main Maple's Quality Results
>
> 1.
>
> Maple 9.5 is an unstable, inconsistent, non-linear, non-uniform,
> randomized, self-incompatible environment where fundamental math
> properties (uniqueness of the answer for a good-defined problem
> commutativity and linearity property etc) now hold, now fail
> making Maple breaking down grotesquely."
>
> [ ... ]
>
> -----------------------------------------------------------------
>
> http://www.cybertester.com/
Cyber Tester, LLC
> http://maple.bug-list.org/
Maple Bugs Encyclopaedia
> http://www.CAS-testing.org/
CAS Testing
>
> -----------------------------------------------------------------
>
> "We must understand that technologies
> like these are the way of the future."
>
> -----------------------------------------------------------------
You appear to have demonstrated that neither Maple nor Mathematica are to
be trusted as reliable CAS's, and I guess that if you went after Maxima,
Axiom, etc., you would find the same. It seems odd that the users aren't
screaming in the same way, unless they are more intelkligent in their use
of the tools than your automated test techniques.
I'll look forward to your next summary of Maple bugs.
|
