Introdução a Regras e Modelos (Manual do Maxima 5.44.0)

Próximo: Definições para Regras e Modelos, Anterior: Regras e Modelos, Acima: Regras e Modelos [Conteúdo][Índice]

### 36.1, Introdução a Regras e Modelos

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]