Condition

patt /; testは，testの評価の結果がTrueとなった場合に限りマッチするパターンである．

lhs :> rhs /; testは，testの評価の結果がTrueとなった場合に限り適用される規則を表す．

lhs := rhs /; testは，testの評価の結果がTrueとなった場合に限り使用される定義である．

例：パターンx_ /; x > 0は，正でなければならない式を表す．

testで使用されるすべてのパターン変数は，pattによって指示されなければならない．

例：f[x_] := fp[x] /; x > 1は，の場合の関数を定義とする．

lhs := Module[vars, rhs /; test]では，局所変数がtestとrhsの間で共用される．また，BlockとWithで同じ構成を使用することができる．

参照セクション：2.3.5 ， 2.6.8.

次も参照： If，Switch，Which，PatternTest，Element．

バージョン1の新関数

他の例