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