Maxima 5.46.0 Manual: Introduction to Rules and Patterns

Next: Functions and Variables for Rules and Patterns, Previous: Rules and Patterns, Up: Rules and Patterns [Contents][Index]

### 34.1 Introduction to Rules and Patterns

この節ではユーザー定義のパターンマッチングと整理ルールを記述します。 幾分違ったパターンマッチング体系を実装した２つの関数グループがあります。 １つのグループは、`tellsimp`, `tellsimpafter`, `defmatch`, `defrule`, `apply1`, `applyb1`, `apply2`です。 他のグループは、`let`, `letsimp`です。 どちらの体系も、 `matchdeclare`が宣言したパターン変数を使ってパターンを定義します。

`tellsimp`と`tellsimpafter`が定義するパターンマッチングルールは、 Maximaの整理器によって自動的に適用されます。 `defmatch`, `defrule`, `let`によって定義されたルールは、 明示的に関数をコールすることで適用されます。

更に、`tellrat`が多項式に適用するルール用メカニズムと、 `affine`パッケージの可換/非可換代数用メカニズムがあります。

Simplification ·Rules and patterns ·

Next: Functions and Variables for Rules and Patterns, Previous: Rules and Patterns, Up: Rules and Patterns [Contents][Index]