Condition

muster /; test ist ein Muster, das nur dann paßt, wenn die Evaluierung von test True ergibt.

ls :> rs /; test steht für die Regel, die nur gilt, wenn die Evaluierung von test True ergibt.

ls := rs /; test ist eine Definition, die nur dann verwendet werden soll, wenn test True ergibt.

Beispiel: Das Muster x_ /; x > 0 repräsentiert einen Ausdruck, der positiv sein muß.

Alle Mustervariablen, die in test verwendet werden, müssen auch in muster vorkommen.

Beispiel: f[x_] := fp[x] /; x > 1 definiert eine Funktion für den Fall .

ls := Module[vars, rs /; test] erlaubt, daß lokale Variablen gemeinsam von test und rs genutzt werden. Dieselbe Konstruktion kann mit Block und With verwendet werden.

Siehe Das Mathematica Buch: 2.3.5 und 2.5.8.

Siehe auch: If, Switch, Which, PatternTest, Element.

Further Examples