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

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

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

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

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

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

Рис. 4.16. Применение параметров контроля предполагаемых переменных