Skip to main content
Mathematica

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

30
  • 5
    $\begingroup$ +1. The real reason why the version with Function[x, z] /. z -> expr does not work is that the one we are trying to fool here is not Function, but Module. It is Module that performs the renaming inside Function, and it uses verbatim search for Function[something] in the code of Module. This is why things like Function @@ ... work. I think it is important to realize this. $\endgroup$ Commented Mar 6, 2013 at 20:50
  • $\begingroup$ @Leonid That is the point I was trying to make but I guess I didn't say it very well. I'll try again. $\endgroup$ Commented Mar 6, 2013 at 20:56
  • $\begingroup$ I think it is still not clear enough. Do you mind if I contribute to your answer? $\endgroup$ Commented Mar 6, 2013 at 21:02
  • 1
    $\begingroup$ @acl See if you like the new title I just made for it. $\endgroup$ Commented Mar 6, 2013 at 23:59
  • 3
    $\begingroup$ You've been Leonified! $\endgroup$ Commented Mar 7, 2013 at 5:05