MathGroup Archive 2005

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

Search the Archive

Re: Unexpected non-evaluation problem

  • To: mathgroup at
  • Subject: [mg63180] Re: Unexpected non-evaluation problem
  • From: David Bailey <dave at>
  • Date: Sat, 17 Dec 2005 03:46:13 -0500 (EST)
  • References: <dnrmp1$prb$>
  • Sender: owner-wri-mathgroup at


That got me thinking if I could construct something that would behave in 
the same way:


ss = foo[x]





ss/. x->y

I think expressions like that give a little glimpse at the inner 
workings of Mathematica. These system normally behaves as though it 
tried to evaluate expressions at every possible opportunity, but for 
efficiency reasons it obviously remembers when a sub expression is fully 
evaluated. The above code tricks it into thinking that the expression 
foo[x] is fully evaluated even when it isn't. It is interesting that the 
expression survives unchanged as part of a larger expression - it is 
only when the subexpression is changed with the ReplaceAll that 
Mathematica 'realises' its mistake!

I think something vaguely similar must be happening in the original 
fourier transform example.

David Bailey

  • Prev by Date: Re: Derivate of Bessel function K
  • Next by Date: Simplifying results
  • Previous by thread: Re: Unexpected non-evaluation problem
  • Next by thread: 3d plot's of function's domain