MATHEMATICA 組込みシンボル

Condition

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

test の評価の結果がTrueとなった場合に限り適用される規則を表す．

test の評価の結果がTrueとなった場合に限り使用される定義である．

詳細 詳細

test で使用されるパターン変数はすべて，patt によって指示されなければならない．
lhs:=Module[{vars}, rhs/;test]では，局所変数が test と rhs の間で共用される．また，BlockとWithで同じ構成を使用することができる． »

x は正でなければならないという制約条件付きの定義を行う：

Out[2]=

Out[3]=

負であるという条件を満たすすべての要素を置換する：

Out[1]=

Mathematica Documentation Feedback Please complete this field.
Name (optional)	Email address (optional)
Send Feedback