RuleDelayed

または
に変換する規則を表すが,規則が適用されるまで は評価されない.

詳細詳細

  • 文字Esc:>Escあるいは[RuleDelayed]と入力できる.
  • RuleDelayedは属性HoldRestを持つ.
  • Replaceを使って規則を適用することができる.
  • 割当ては,これが適用される場合には,規則 を使用することを指定する.
  • Conditionを使って特定の規則が適用される条件を指定することができる.
  • StandardFormでは,RuleDelayedを使って出力される.
1988年に導入
(1.0)
| 1996年に修正
(3.0)