Переменные

Переменные — это объекты, значения которых могут меняться по ходу выполнения документа.

Типы переменных

определяется присвоенным ей значением — могут быть:

• целочисленные (integer),

• рациональные (rational),

• вещественные (real),

• комплексные (complex)

• строчные (string) переменные

Для явного указания типа переменных используется конструкция:

name::type

где name — имя (идентификатор) переменной, type — тип переменной, например целочисленный (integer), вещественный с плавающей точкой (float), с неотрицательным значением (nonneg), комплексный (complex) и т. д.

Идентификаторы (имена) переменных

Переменные задаются своим именем — идентификатором, который должен начинаться с буквы и быть уникальным. Длина идентификатора не должна превышать 524 275 символов

Присваивание переменным значений

Для присваивания переменным конкретных значений используется комбинированный символ присваивания «:=», например:

•  n:=1 — переменной n присваивается, целочисленное значение 1;

•  х:=123.456 - переменной х присваивается вещественное значение 123.456;

•  у:=17/19 — переменной у присваивается рациональное значение 17/18;

•  name:='Piter' — переменной name присваивается строковое значение "Piter";

•  expr:=2*Pi/3 — переменной ехрг присваивается значение выражения 2л/3;

•  V:=[1.2,3] - переменной V присваивается значение списка чисел [1,2,3];

• М:=[[1,2.3].[4,5.б]] - переменной М присваивается значение двумерного массива; 

•  f :=х->х^2 - переменной f присваивается значение функции пользователя f(x)=x^2.

Отмена операции присваивания и команда restart

Переменная, имеющая какое-либо значение, занимает в памяти намного больше места, чем неопределенная переменная. У последней место в памяти занимают только символы идентификатора. Поэтому нередко целесообразно отменить присваивание у тех переменных, которые в дальнейшем можно не использовать. Это может понадобиться и в том случае, когда какую-либо переменную с численным или иным значением нужно использовать просто как неопределенную переменную. Рассмотрим следующий пример:

З

десь не удалось вычислить интеграл с подынтегральной функцией х^2 из-за того, что переменная х уже определена ранее как целочисленная переменная со значением 10, тогда как для вычисления интеграла она должна быть необъявленной или строковой (убедитесь в этом сами).

Для отмены присваивания надо использовать следующее выражение:

И

так, заключение имени переменной в прямые апострофы ликвидирует присваивание. Так что запись х:='х' означает, что переменной х возвращается статус неопределенной переменной. Теперь можно вычислить интеграл:

М

ожно сделать переменную х неопределенной и с помощью выражения вида x:=evaln(x).

Д

ля отмены присваивания значений разом всем переменным (и введенным функциям пользователя) можно использовать команду restart.

Следует отметить, что команда restart отменяет все предшествующие определения, что иногда чревато осложнениями.

Придание переменным статуса предполагаемых

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

Для придания переменным статуса предполагаемых используется функция assume:

assume(x.prop);

где х — переменная, имя или выражение, prop — свойство.

Следующие примеры показывают применение функции assume:

О

братите внимание, что в этом примере переменная х помечена как положительная и при выводе сопровождается знаком тильды -, как бы предупреждающим нас о ее особом статусе. Это не означает, что она не может принять отрицательное значение. Однако с помощью функции is можно убедиться в ее особом статусе и при необходимости программным путем исключить вычисления для  х <0. Кроме того, о свойствах переменной можно узнать с помощью функции about (name).

Иногда к уже имеющимся признакам надо добавить новые. Для этого используется функция additionally:

В этом примере переменной а вначале задан признак положительности, а затем а<=0. Оба признака удовлетворяются только при a= 0, что и подтверждает вывод информации о статусе этой переменной функцией about (а).

Предполагаемую переменную можно также изменить путем присваивания ей нового значения, противоречащего ее статусу:

Для отмены переменным статуса предполагаемых используются те же приемы, что и при отмене присвоенного значения. Например, запись х:=' х' отменяет статус предполагаемой для переменной х.