Skip to main content

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*

3
  • 2
    $\begingroup$ See also: Evaluation $\endgroup$ Commented Mar 17, 2011 at 14:02
  • $\begingroup$ @Michael One sentence on that page I do not understand: "Use any applicable transformation rules that you have defined for h[f[e1,e2,...],...] or for h[...][...]." The symbol f comes from nowhere on that page. What does it mean? How such rules could be defined? $\endgroup$ Commented Mar 19, 2011 at 5:05
  • $\begingroup$ No one seems to have mentioned 'FixedPoint', and I of course don't know whether the 'FixedPoint' function that is provided to the user is the same 'FixedPoint' that is used internally, but I believe the concept, at least, is the same. Mathematica applies FixedPoint to every expression in a depthfirst fashion until it returns. $\endgroup$ Commented Jun 2, 2022 at 18:30