MATHEMATICA 組込みシンボル

Replace

Replace[expr, rules]
式 expr 全体の変換をしようとするとき，規則または規則のリストを適用する．

Replace[expr, rules, levelspec]
levelspec で指定される expr の部分に規則を適用する．

詳細とオプション 詳細とオプション

規則は，またはの形式で与えられることが必要である．
リストになった規則を与えることもできる．この規則は，順に試行される．最初に適用されるものの結果が返される．いずれの規則も適用されない場合には，もとの expr が返される．
規則がネストしたリストの中に与えられた場合，実質的に，Replaceは，内側のリストに写像されることになる．したがって，Replace[expr, {{r₁₁, r₁₂}, {r₂₁, ...}, ...}]は，と同値である．
で定義された遅延型の規則には，条件を含むことができる．
Replaceは，標準的な形でレベル指定を行う．
n レベルからレベル n

Infinity レベルから Infinity

{n} レベル n のみ

{n₁,n₂} レベルからレベル
Replaceでの levelspec のデフォルト値はで，これは式全体に当たる．
正のレベル n は，n 個の指標で指定された expr のすべての部分からなる．
負のレベル-n は，深さ n の expr のすべての部分からなる．
レベルは，数，シンボル，その他の下位区分を持たないオブジェクトからなる．
Heads->Trueというオプション設定では，Replaceは式の頭部と部分を含む．
置換は，levelspecで指定された部分にHoldや関連するラッパーがある場合でも施される．