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

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

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

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