22. Контроль за предполагаемыми переменными (Assumed Variables) Контроль за предполагаемыми переменными (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.Применение параметров контроля предполагаемых переменных

17.gif