|
Придание переменным статуса предполагаемых
В большинстве расчетов пользователей
Maple вполне удовлетворяет статус переменных, соответствующий присвоенным им
значениям. Однако серьезные расчеты предполагают, что переменные могут иметь
определенные ограничения — например, они не должны принимать отрицательных значений
при обычном вычислении квадратного корня или логарифма числа.
Для придания переменным статуса
предполагаемых используется функция assume: assume(x.prop):
где х — переменная, имя или выражение,
prop — свойство. Следующие примеры показывают применение функции
assume:
Обратите внимание, что в этом примере
переменная х помечена как положительная и при выводе
сопровождается знаком тильды -, как бы предупреждающим нас о ее особом статусе.
Это не означает, что она не может принять отрицательное значение. Однако с помощью
функции is можно убедиться в ее особом статусе и при необходимости
программным путем исключить вычисления для х <0.
Кроме того, о свойствах переменной можно узнать с помощью функции
about (name).
Иногда к уже имеющимся признакам
надо добавить новые. Для этого используется функция additionally:
В этом примере переменной а вначале
задан признак положительности, а затем а<=0. Оба признака
удовлетворяются только при a= 0, что и подтверждает вывод
информации о статусе этой переменной функцией about (а).
Предполагаемую переменную можно
также изменить путем присваивания ей нового значения, противоречащего ее статусу:
Для отмены переменным статуса предполагаемых
используются те же приемы, что и при отмене присвоенного значения. Например,
запись х:=' х' отменяет статус предполагаемой для переменной
х.
| 
