Иллюстрированный самоучитель по Maple 6/7

Работа с параметрами Maple 7

Контроль за предполагаемыми переменными (Assumed Variables)

На переменные в Maple 7 могут быть наложены различные условия. Для этого используется специальная функция assume. Например, если переменная х может принимать только положительные значения, то для этого достаточно исполнить команду assume(x>0). Будем называть такие переменные предполагаемыми, поскольку предполагается, что они имеют какие-то дополнительные ограничения, помимо накладываемых на них типом.

В подменю Assume Variables меню Options имеются три команды, управляющие контролем признаков предполагаемых переменных:

  • Trailing Tildes – включает маркировку предполагаемых переменных знаком тильды ();
  • No Annotation – включает параметр "без аннотаций", то есть запрещает вывод аннотации;
  • Phrase – включает параметр вывода комментариев для предполагаемых переменных.;

Предполагаемые переменные при выводе обычно обозначаются значком тильды () после их имени. Этот знак отображается при установки флажка Trailing Tildes (по умолчанию она включена). Однако с помощью флажка No Annotation можно отключить как это обозначение, так и короткий текстовый комментарий, который сопровождает предполагаемые переменные. Наконец, флажок Phrase включает вывод текстовых комментариев. Рисунок 4.16 наглядно иллюстрирует применение этих параметров.

Благодаря применению предполагаемых переменных облегчается реализация ряда алгоритмов, критичных к выбору переменных. Например, если использовать вычисление квадратного корня без привлечения понятия о комплексных числах, то на численные значения переменных надо наложить условие их положительности. Контроль за статусом таких переменных и дают описанные параметры.

Иллюстрированный самоучитель по Maple 6/7 › Управление интерфейсом пользователя › Работа с параметрами Maple 7
Рис. 4.16. Применение параметров контроля предполагаемых переменных

Если Вы заметили ошибку, выделите, пожалуйста, необходимый текст и нажмите CTRL + Enter, чтобы сообщить об этом редактору.