A.4.1 Die Standard-Evaluierungssequenz

Es folgt eine Beschreibung der Schrittfolge, die Mathematica beim Evaluieren von Ausdrücken wie k[, , ... ] ausführt. Jedesmal, wenn sich der Ausdruck ändert, beginnt Mathematica die Evaluierungsfolge von neuem.

Ist der Ausdruck ein Grundobjekt (z. B. Integer, String, usw.), lasse ihn unverändert.

Werte den Kopf k des Ausdrucks aus.

Evaluiere jedes Element des Ausdrucks der Reihe nach. Ist k ein Symbol mit den Attributen HoldFirst, HoldRest, HoldAll oder HoldAllComplete, dann überspringe die Evaluierung gewisser Elemente.

Außer wenn k das Attribut HoldAllComplete hat, entferne die äußerste der Unevaluated-Einhüllungen, die in den auftauchen.

Außer wenn k das Attribut SequenceHold hat, ebne alle Sequence-Objekte ein, die unter den auftauchen.

Hat k das Attribut Flat, dann ebne alle verschachtelten Ausdrücke mit Kopf k ein.

Hat k das Attribut Listable, dann verteile den Ausdruck auf alle Elemente , die Listen sind.

Hat k das Attribut Orderless, dann sortiere die .

Außer wenn k das Attribut HoldAllComplete hat, benutze jede mit f verbundene anwendbare Transformationsregel, die für Objekte der Form k[ f[, ... ], ... ] definiert worden ist.

Benutze jede mit f verbundene eingebaute Transformationsregel für Objekte der Form k[ f[, ... ], ... ].

Benutze jede anwendbare Transformationsregel, die für k[, , ... ] oder für k[ ... ][... ] definiert worden ist.

Benutze jede eingebaute Transformationsregel für k[, , ... ] oder für k[ ... ][... ].