Команды преобразования выражений

Технология работы в Марlе заключается в том, что пользователь создает переменные, присваивает им символьные выражения и производит над ними некоторые действия в соответствии с алгоритмом решения поставленной задачи, используя стандартные функции или написанные собственные процедуры. Синтаксис вызова стандартной команды следующий команда (пар₁, пар₂, …, пар_n) ;

или команда (пар₁, пар₂, …, пар_n) :

Здесь команда — это имя вызываемой функции, а пар₁, пар₂, … означают необходимые для выполнения команды параметры, которые могут быть переменными или даже выражениями, причем их тип должен соответствовать типу параметров используемой функции. Отметим, что первая форма задания команды (с завершающей точкой с запятой) осуществляет отображение результатов ее выполнения в области вывода, тогда как при второй форме (с завершающим двоеточием) команда выполняется, но никакого вывода результатов не происходит.

Система обозначений функций в Марlе интуитивно проста, поэтому обыкновенно имя функции соответствует действию, которое она выполняет (следует учесть, что все имена заданы на английском языке). Например, ясно, что функция с именем simplify осуществляет некоторые упрощения над выражением, заданным в качестве ее параметра.

Для некоторых команд существуют две формы: активная и пассивная. В случае вызова активной формы команды, которая немедленно будет выполнена, ее имя начинается со строчной буквы. Пассивная форма команды не выполняется немедленно ядром Марlе, а просто в области вывода отображает математическую запись того, что она может сделать. Ее имя начинается с прописной буквы. В дальнейшем, если в операторе присваивания для некоторой переменной в правой части задана пассивная форма команды, то командой value ее можно вычислить. Однако основное предназначение пассивных форм команд — использование их как средства документирования производимых действий в обычной математической нотации. Примерами команд с двумя формами являются команды дифференцирования и интегрирования и другие.

Командой ?inert можно отобразить страницу Справки, содержащей информацию об активной и пассивной форме некоторых функций Марlе.

Команды и функции, являющиеся частью ядра системы Марlе, всегда доступны пользователю, тогда как для вызова других команд и функций необходимо подключить библиотеку или пакет, в которых они расположены. Для этого используются команды readlib и with. Первая подключает библиотеку, вторая — пакет. Параметром этих команд является имя библиотеки или пакета, функции которых пользователь желает использовать.

Наиболее часто используемые при аналитических преобразованиях команды и функции Марlе располагаются и его системном ядре — части программного обеспечения системы аналитических вычислений, постоянно находящейся в памяти компьютера. К таким командам относятся команды, выполняющие разнообразные преобразования выражений, получающие решение уравнений и систем уравнений, дифференцирующие функции и т. д. Мы рассмотрим наиболее часто используемые при выполнении аналитических вычислений.