TraceDialog[expr] initiates a dialog for every expression used in the evaluation of expr. TraceDialog[expr, form] initiates a dialog only for expressions which match form. ...

Mathematica can represent not only data and programs, but also the execution history of programs, as symbolic expressions—which can be displayed, manipulated, and analyzed ...

Mathematica is a large and complex software system. Although strongly not supported for production purposes, it is sometimes instructive to "spelunk" in the system, looking ...

Trace[expr] generates a list of all expressions used in the evaluation of expr. Trace[expr, form] includes only those expressions which match form. Trace[expr, s] includes ...

TraceAbove is an option for Trace and related functions which specifies whether to include evaluation chains which contain the evaluation chain containing the pattern form ...

TraceBackward is an option for Trace and related functions which specifies whether to include preceding expressions on the evaluation chain that contains the pattern form ...

TraceForward is an option for Trace and related functions which specifies whether to include later expressions on the evaluation chain that contains the pattern form sought.

The general principle that Mathematica follows in evaluating expressions is to go on applying transformation rules until the expressions no longer change. This means, for ...

Finding memory usage. Particularly for symbolic computations, memory is usually the primary resource which limits the size of computations you can do. If a computation runs ...

TraceDepth is an option for Trace and related functions which specifies the maximum nesting of evaluation chains that are to be included.