Services & ResourcesWolfram ForumsMathGroup Archive

[Date Index] [Thread Index] [Author Index]

Re: Re: A harmless and amusing bug

• To: mathgroup at smc.vnet.net
• Subject: [mg76369] Re: [mg76283] Re: A harmless and amusing bug
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Sun, 20 May 2007 02:38:49 -0400 (EDT)
• References: <f2jtne$cef$1@smc.vnet.net> <200705190831.EAA20822@smc.vnet.net>

On 19 May 2007, at 17:31, dimitris wrote:

> What I don't understand however is that neither
>
> FullSimplify[y == z]
>
> nor
>
> FullSimplify[y == z, ComplexityFunction -> LeafCount]
>
> returns True as it should be! Something happens here.


There is no reason to expect this. Programs do what they are  
programmed to do and FullSimplify and Simplify do not "go into" the  
body ofr fucntions to simplify them. Anyway, even  Map[Simplify,y] 
==Map[Simplify,z] will not work because of the HoldAll attribute of  
Function. Instead just use:

y === Map[Evaluate, z]
True

That's all there is to this phenomenon.

Andrzej Kozlowski

• References:
  • Re: A harmless and amusing bug
    • From: dimitris <dimmechan@yahoo.com>