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.