PatternTest

p?test ist ein Muster-Objekt, das für einen beliebigen Ausdruck steht, der zu p paßt und auf dem die Anwendung von test True ergibt.

Jedes Ergebnis für test[pval] außer True wird als Fehlschlag gedeutet.

Beispiel: _?NumberQ repräsentiert eine Zahl eines beliebigen Typs. Das _ stimmt mit jedem Ausdruck überein, und ?NumberQ grenzt die Ausdrücke auf jene ein, die bei Anwendung des Zahltestes NumberQ True ergeben.

Der Operator ? hat hohe Rangordnung. Deshalb ist _^_?t äquivalent zu _^(_?t) und nicht zu (_^_)?t.

In einer Form, wie zum Beispiel __?test, muß jedes Element in der Sequenz, die zu __ paßt, True ergeben, wenn test angewendet wird.

Siehe Das Mathematica Buch: 2.3.5.

Siehe auch: Condition, Element.

Further Examples