Next: Functions and Variables for Rules and Patterns, Previous: Rules and Patterns, Up: Rules and Patterns [Contents][Index]
この節ではユーザー定義のパターンマッチングと整理ルールを記述します。
幾分違ったパターンマッチング体系を実装した2つの関数グループがあります。
1つのグループは、tellsimp
, tellsimpafter
, defmatch
,
defrule
, apply1
, applyb1
, apply2
です。
他のグループは、let
, letsimp
です。
どちらの体系も、
matchdeclare
が宣言したパターン変数を使ってパターンを定義します。
tellsimp
とtellsimpafter
が定義するパターンマッチングルールは、
Maximaの整理器によって自動的に適用されます。
defmatch
, defrule
, let
によって定義されたルールは、
明示的に関数をコールすることで適用されます。
更に、tellrat
が多項式に適用するルール用メカニズムと、
affine
パッケージの可換/非可換代数用メカニズムがあります。
Next: Functions and Variables for Rules and Patterns, Previous: Rules and Patterns, Up: Rules and Patterns [Contents][Index]