Rule

lhs -> rhsと lhs rhsは， lhsを rhsに変換する規則を表す．

は， ->または \[Rule]で入力できる．

lhs -> rhsは， rhsを即時に評価する．

Replaceを使って規則を適用することができる．

割当てlhs = rhsは，これが適用する場合には，規則lhs -> rhsを使用することを指定する．

lhs rhsはlhs \[Rule] rhsあるいはlhs -> rhsと入力できる．

StandardFormでは，Ruleはを使って出力される．

Ruleは，スコープ構成である．A.3.8を参照．

lhsにパターンの名前として発生する記号はこの規則に局所的なものとして取り扱われる．この記号がlhsの中の条件子/;の右側に現れたり，スコープ構成の中であってもrhsの中に現れるとこの取扱いが適用される．

参照セクション：2.5.1 ， A.5.5.

実装に関するノート：A.9.3.

次も参照：Replace，Set，RuleDelayed，PolynomialReduce．

関連パッケージ：Utilities`FilterOptions`．

バージョン1の新関数．バージョン3で大幅改訂

他の例