MathGroup Archive 2007

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

Search the Archive

Re: Re: A harmless and amusing bug

  • To: mathgroup at
  • Subject: [mg76369] Re: [mg76283] Re: A harmless and amusing bug
  • From: Andrzej Kozlowski <akoz at>
  • Date: Sun, 20 May 2007 02:38:49 -0400 (EDT)
  • References: <f2jtne$cef$> <>

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]

That's all there is to this phenomenon.

Andrzej Kozlowski

  • Prev by Date: Mathstatica vs. built in symbolic statistics in Version 6
  • Next by Date: Re: [6] how to print or save help pages ? PDF?
  • Previous by thread: Re: A harmless and amusing bug
  • Next by thread: Re: Re: A harmless and amusing bug