Next: Функции и переменные для правил преобразования и шаблонов, Previous: Правила преобразования и шаблоны, Up: Правила преобразования и шаблоны [Contents][Index]
Данный раздел описывает особенности программирования правил
преобразований и шаблонов, применяемые в Maxima для упрощения выражений.
Имеется две группы функций, реализующих несколько различающиеся схемы применения
шаблонов преобразований.
К одной группе относятся функции tellsimp, tellsimpafter, 
defmatch, defrule,apply1, applyb1 и apply2.
В другую группу входят функции let и letsimp.
В обоих группах шаблоны определяются через переменные
шаблонов, объявляемые функцией matchdeclare.
Правила преобразований, определенные в процедурах tellsimp и
tellsimpafter, применяются Maxima автоматически (если
управляющая переменная simp имеет значение true).
Правила преобразований, определенные в процедурах defmatch,
defrule и let применяются только при явном вызове
соответствующих функций.
Имеются, также, дополнительные возможности использования правил
преобразований, например, при
работе с полиномами в процедуре tellrat, и для коммутативной и
некоммутативной алгебры в пакете  affine.