MatchLocalNames

MatchLocalNames ist eine Option für Trace und verwandte Funktionen, welche festlegt, ob Symbole wie x zu Symbolen mit lokalen Namen wie x$nnn passen sollen.

Die Voreinstellung ist MatchLocalNames -> True.

Mit dieser Voreinstellung wird Trace[ausdr, x = rs] Zuordnungen zu lokalen Variablen anzeigen, deren Namen die Form x$nnn haben.

Trace[ausdr, x = rs, MatchLocalNames->False] zeigt nur Zuweisungen für das globale Symbol x an.

Siehe Das Mathematica Buch: 2.5.10.

Further Examples