Лабораторная работа: Использование команд преобразования выражений Maple для математических вычислений

> x:='x';

Если же переменная с наложенными ограничениями использовалась в выражениях, то простое присваивание имени переменной самой переменной не снимает ограничения на переменную в этих выражениях. Подобная ситуация иллюстрируется в примере 13.

Пример 13. Снятие ограничений с переменной.

> assume (b>0);

> d:=surd (b^4,4);

> b:='b':b;

> d;

Как видим, снятие всех наложенных на переменную b ограничений не снимает, однако, этих ограничений с переменной b в выражении d. Чтобы снять ограничения с этой переменной, следует до команды снятия ограничений с переменной воспользоваться командой подстановки subs () и первым параметром указать замену переменной b на ее символьное имя 'b'.

Пример 14. Снятие ограничений с переменной в выражении.

> assume (b>0);

> d:=sqrt (b^4);

> d;

> d:=subs (b='b', d);

> b:='b';

> d;

Функция is () определяет, удовлетворяет ли некоторая переменная рабочего листа определенному свойству. Эта функция возвращает значение true, если все возможные значения переменной соответствуют заданному свойству. Если хотя бы одно из возможных значений не соответствует заданному свойству, то функция is () возвращает false. Функция is () может возвратить значение FAIL, что говорит о невозможности определить, соответствует или нет заданная переменная заданному свойству. Это бывает или в результате недостаточности информации относительно ограничений на переменную, или невозможности вычислить логические ограничения на переменную.

Пример 15. Удовлетворяет ли переменная заданным ограничениям.

> assume (a>0);

> is (a>0);

> is (a<1);