Maxima Manual: Введение в правила преобразований и шаблоны

Next: Функции и переменные для правил преобразования и шаблонов, Previous: Правила преобразования и шаблоны, Up: Правила преобразования и шаблоны [Contents][Index]

### 34.1 Введение в правила преобразований и шаблоны

Данный раздел описывает особенности программирования правил преобразований и шаблонов, применяемые в Maxima для упрощения выражений. Имеется две группы функций, реализующих несколько различающиеся схемы применения шаблонов преобразований. К одной группе относятся функции `tellsimp`, `tellsimpafter`, `defmatch`, `defrule`,`apply1`, `applyb1` и `apply2`. В другую группу входят функции `let` и `letsimp`. В обоих группах шаблоны определяются через переменные шаблонов, объявляемые функцией `matchdeclare`.

Правила преобразований, определенные в процедурах `tellsimp` и `tellsimpafter`, применяются Maxima автоматически (если управляющая переменная `simp` имеет значение `true`). Правила преобразований, определенные в процедурах `defmatch`, `defrule` и `let` применяются только при явном вызове соответствующих функций.

Имеются, также, дополнительные возможности использования правил преобразований, например, при работе с полиномами в процедуре `tellrat`, и для коммутативной и некоммутативной алгебры в пакете `affine`.

Категории:Упрощение ·Правила преобразования и шаблоны ·

Next: Функции и переменные для правил преобразования и шаблонов, Previous: Правила преобразования и шаблоны, Up: Правила преобразования и шаблоны [Contents][Index]