Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: The year of Cyber Tester
Replies: 123   Last Post: Jul 1, 2011 4:00 AM

 Messages: [ Previous | Next ]
 Axel Vogt Posts: 1,068 Registered: 5/5/07
Re: odd simplify in Maple [was: Re: The year of Cyber Tester]
Posted: Oct 12, 2008 3:34 PM

Robert Israel wrote:
>

>> Walter Roberson wrote:
>> ...

>> > The above are simple cases of obvious defects, unless you are
>> willing to
>> > define away a complete session crash as not being a "defect".
>> > tools are more refined, finding situations where products produce
>> > dubious or decidedly incorrect answers. I don't think it would have

>> taken
>> > very long to find such a case in Matlab 2008b: all one would have to do
>> > is pull out some of the cases one had recorded against Maple, transpose
>> > them into Matlab notation, and watch as the Maple-based Matlab

>> Symbolic
>> > Toolbox
>> > reproduced the existing Maple bug. For example, Maple 12:
>> >

>> >> log(exp(RootOf(_Z*exp(_Z)))); simplify(%);
>> > Error, (in ln) numeric exception: division by zero
>> >
>> > but evalf(RootOf(_Z*exp(_Z))) is 0, and log(exp(0)) is 0 so there

>> should
>> > be no division by zero.
>> ...
>>
>> This Maple bug steps in before log, already at
>> 'simplify( exp(RootOf(exp(_Z))) )'.

>
> That is a different bug, I think. Zeros of exp(_Z) do not exist, but Maple
> does not know that, so it essentially applies the simplification rule
> f(RootOf(f(_Z))) = 0.
>
> I think what you mean is
>
> simplify(exp(RootOf(_Z*exp(_Z))));
>
> or more generally
>
> simplify(f(RootOf(f(_Z)*g(_Z))));
>
> 0
>
> If w is a zero of f(_Z)*g(_Z), we must have f(w) = 0 or g(w) = 0. I don't
> know why Maple jumps to the conclusion that f(w) = 0 here.

Thx, f(RootOf(f(_Z))) = 0 sounds like a reason to me.

I have the errors for 'exp(RootOf(exp(f(T)))); simplify(%);' as well
and dito with a factor exp(RootOf(f*exp(_Z))) or for f a function

Date Subject Author
1/15/08 D Herring
3/10/08 Dave
3/11/08 nano bagonghi
8/23/08 Nasser Abbasi
9/7/08 Peter Pein
9/8/08 Axel Vogt
11/5/08 abc
8/26/08 clicliclic@freenet.de
8/30/08 clicliclic@freenet.de
8/30/08 clicliclic@freenet.de
8/31/08 clicliclic@freenet.de
9/9/08 clicliclic@freenet.de
10/10/08 Pfenniger Daniel
10/12/08 Walter Roberson
10/12/08 Axel Vogt
10/12/08 Robert Israel
10/12/08 Axel Vogt
10/22/08 clicliclic@freenet.de
12/8/08 Any one
4/30/09 Chip Eastham
4/30/09 clicliclic@freenet.de
6/22/09 Dave
6/16/09 MeAmI.org
8/24/09 Richard Fateman
4/20/10 Guest
8/21/10 Peter Luschny
10/22/10 clicliclic@freenet.de
10/24/10 Albert D. Rich
10/25/10 clicliclic@freenet.de
12/25/10 Chip Eastham
2/21/11 Richard Fateman
3/28/11 Richard Fateman
4/4/11 Chip Eastham