Контроль за предполагаемыми переменными (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 наглядно иллюстрирует применение этих параметров.
Благодаря применению предполагаемых переменных облегчается реализация ряда алгоритмов, критичных к выбору переменных. Например, если использовать вычисление квадратного корня без привлечения понятия о комплексных числах, то на численные значения переменных надо наложить условие их положительности. Контроль за статусом таких переменных и дают описанные параметры.
