34.1 Introducción a reglas y patrones

Esta sección describe las reglas de simplificación y los patrones de comparación definidos por el usuario. Hay dos grupos de funciones que implementan diferentes esquemas de comparación de patrones. En un grupo están tellsimp, tellsimpafter, defmatch, defrule, apply1, applyb1 y apply2. En el otro, se encuentran let y letsimp. Ambos esquemas definen patrones en términos de variables de patrones declaradas mediante matchdeclare.

Las reglas de comparación de patrones definidas por tellsimp y tellsimpafter se aplican automáticamente por el simplificador de Maxima. Las reglas definidas por defmatch, defrule y let se aplican previa llamada a una función.

Hay otros mecanismos para las reglas; las relativas a polinomios se controlan mediante tellrat y las del álgebra conmutativa y no conmutativa se definen en el paquete affine.