Next: Funções e Variáveis Definidas para Regras e Modelos, Previous: Regras e Modelos, Up: Regras e Modelos [Contents][Index]

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

Essa seção descreve coincidências de modelos definidos pelo usuário 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`.

Next: Funções e Variáveis Definidas para Regras e Modelos, Previous: Regras e Modelos, Up: Regras e Modelos [Contents][Index]