Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > パターン >

Condition (/;)

patt/;test
test の評価の結果がTrueとなった場合に限りマッチするパターンである.
lhs:>rhs/;test
test の評価の結果がTrueとなった場合に限り適用される規則を表す.
lhs:=rhs/;test
test の評価の結果がTrueとなった場合に限り使用される定義である.
  • test で使用されるすべてのパターン変数は,patt によって指示されなければならない.
  • lhs:=Module[{vars}, rhs/;test]では,局所変数がtestrhs の間で共用される.また,BlockWithで同じ構成を使用することができる. »
x は正でなければならないという制約条件付きの定義を行う:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
負であるという条件を満たすすべての要素を置換する:
In[1]:=
Click for copyable input
Out[1]=
バージョン 1 の新機能
© 2013 Wolfram Research, Inc. English
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team