Re: Cyber Tester's VM machine challenges human beings the best Maple Experts (and anyone who wants to compete)

Vladimir Bondarenko wrote:
Show at least one input in Maple 11 where the most innocuous
change 1-sin(z)^2 into cos(z)^2 changes the Maple output.
(S h a m e f u l !)

Um, no its not. For starters, I would expect that Maple returns a raw 1-sin(z)^2 "unsimplified". Therefore, why would I be surprised when more complex expressions show differences? Are they not mathematically equivalent? Are the differences not due to branch cuts or the like?

Does your "CyberTester" do something other than mechanically generate problems (e.g. start with an equation, differentiate it, then see if the CAS integration returns the original equation) and compare results across the different CAS implementations?

A comment for general public.

We do not want to feed Maplesoft -- which turned us down,
repeatedly, as beta testers -- for free, and will publish
our VM machine unique results AFTER Maple 12 is released.

A comment for VB.

We never really used Maple much; we always had the impression that Mathematica was better. What's your obsession, other than sour grapes over not getting a job? You can't seriously be interested in promoting computer algebra -- have you ever tried helping a project (such as Axiom) which openly accepts contributions?


Royally yours,
Daniel
.