Next: Funktionen und Variablen für Muster und Regeln, Previous: Muster und Regeln, Up: Muster und Regeln [Contents][Index]

### 24.1 Einführung in Muster und Regeln

Dieses Kapitel beschreibt nutzerdefinierte Muster und Regeln für die Vereinfachung von Ausdrücken. Es gibt zwei verschiedene Gruppen von Funktionen, die einen unterschiedlichen Musterabgleich implementieren. Die eine Gruppe enthält die Funktionen `tellsimp`, `tellsimpafter`, `defmatch`, `defrule`, `apply1`, `applyb1` und `apply2`. In der anderen Gruppe sind die Funktionen `let` und `letsimp` enthalten. Beide Methoden verwenden Mustervariablen, die mit der Funktion `matchdeclare` definiert werden.

Regeln, die mit den Funktionen `tellsimp` und `tellsimpafter` definiert werden, werden von Maxima automatisch bei der Vereinfachung von Ausdrücken angewendet. Regeln, die mit den Funktionen `defmatch`, `defrule` oder `let` definiert werden, werden durch den Aufruf einer Funktion auf einen Ausdruck angewendet.

Maxima kennt weitere Methoden wie die Definition von minimalen Polynomen mit der Funktion `tellrat`, um Einfluss auf die Vereinfachung von Polynomen zu nehmen, oder Funktionen der kommutativen und nicht-kommutativen Algebra, die in dem Paket affine definiert sind.

Next: Funktionen und Variablen für Muster und Regeln, Previous: Muster und Regeln, Up: Muster und Regeln [Contents][Index]