Próximo: Definições para Regras e Modelos, Anterior: Regras e Modelos, Acima: Regras e Modelos [Conteúdo][Índice]
Essa secção descreve coincidências de modelos definidos pelo utilizador e
regras de simplificação.
Existem dois grupos de funções que implementam até certo ponto diferentes esquemas de coincidência de modelo.
Em um grupo estão tellsimp, tellsimpafter, defmatch, defrule,
apply1, applyb1, e apply2.
Em outro grupo estão let e letsimp.
Ambos os esquemas definem modelos em termos de variáveis de modelo declaradas por matchdeclare.
Regras de coincidência de modelos definidas por tellsimp e tellsimpafter são aplicadas automaticamente
através do simplificador do Maxima.
Regras definidas através de defmatch, defrule, e let são aplicadas
através de uma chamada explícita de função.
Existe mecanismos adicionais para regras aplicadas a polinómios através de tellrat,
e para álgebra comutativa e não comutativa no pacote affine.
Próximo: Definições para Regras e Modelos, Anterior: Regras e Modelos, Acima: Regras e Modelos [Conteúdo][Índice]