TraceScan

TraceScan[f, ausdr] wendet f auf alle Ausdrücke an, die bei der Evaluierung von ausdr verwendet werden.

TraceScan[f, ausdr, form] beschränkt sich auf jene Ausdrücke, welche zu form passen.

TraceScan[f, ausdr, s] beschränkt sich auf jene Evaluierungen, welche Transformationsregeln verwenden, die mit dem Symbol s verknüpft sind.

TraceScan[f, ausdr, form, fp] wendet f vor und fp nach der Evaluierung auf solche Ausdrücke an, die bei der Evaluierung von ausdr verwendet werden.

Siehe die Anmerkungen zu Trace.

Alle Ausdrücke werden in HoldForm eingepackt, um Evaluierung zu verhindern, bevor f oder fp auf sie angewendet werden.

Die Funktion fp erhält als Argumente sowohl die Form vor der Evaluierung als auch die Form nach der Evaluierung.

TraceScan[f, ausdr] liefert das Ergebnis der Evaluierung von ausdr.

Siehe Das Mathematica Buch: 2.5.10.