(символьных) вычислений maxima

Стахин Н.А., Основы работы с системой аналитических (символьных) вычислений MaximaЗдесь следует остановиться на одном моменте. Если апострофом предваренвызов функции, то блокируется вычисление самой функции, но не ееаргументов. Если же поставить апостроф перед выражением, заключенным вскобки, то невычисленным останется все это выражение целиком, т. е. и всевходящие в него функции, и все аргументы этих функций см. (%о11).В Maxima оператор присвоения значений рассматривается как операторименования, другим оператором именования является использованный здесьоператор задания функции. Обозначается он через :=, но аналогии здесьпрослеживаются не с языками Pascal или Algol, а с другими обозначениямисамой Максимы: с одной стороны определение функции можно восприниматькак уравнение (которое обозначается знаком =), а с другой — оно родственноназначению имени некоторому выражению (то есть :). То есть определениефункции можно в какой-то мере считать симбиозом этих двух выражений — иоттого вполне логично, что оно обозначается обоими их символами. (Впродолжение этой аналогии можно добавить, что в Maxima есть и расширенныеварианты операторов присвоения и назначения функции, обозначаемыесоответственно через :: и ::=.)В противовес блокировке вычислений, можно также принудительновычислить любое выражение — для этого имеется оператор, состоящий из двухапострофов:32