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

> additionally (a<1);

> is (a<1);

С помощью функции coulditbe () можно проверить, может ли заданная переменная соответствовать заданному свойству. Она возвращает true, если хотя бы одно из возможных значений переменной может иметь заданное свойство, и fа1sе в противном случае. Смысл значения FAIL соответствует такому же значению для функции is().

Пример 16. Может ли переменная удовлетворять заданным ограничениям.

> assume (a>0);

> is (a>0);

> coulditbe (a=1);

> additionally (a<1);

> coulditbe (a=1);

Команда about ()отображает информацию о наложенных ограничениях на неизвестную величину:

> about(a);

Originally a, renamed a~:

is assumed to be: RealRange (Open(0), Open(1))

Как отмечалось ранее, многие функции и команды Maple используют информацию о наложенных на неизвестную величину ограничениях при выполнении символьных вычислений. Например, Марle не может вычислить следующий предел из-за неизвестности знака символьной переменной а:

> int (exp(a*x), x=0..infinity);

Definite integration: Can't determine if the integral is convergent.

Need to know the sign of –> – a

Will now try indefinite integration and then take limits.

Стоит предположить, что a>0, и Maple тут же вычислит данный интеграл, который он свел к вычислению предела, зависящего от параметра:

> assume (a>0);

> int (exp(a*x), x=0..infinity);

Литература

1. Говорухин В.Н., Цибулин В.Г. Введение в Maple. Математический пакет для всех. – М.: Мир, 1997. – 208 с.

2. Дьяконов В.П. Математическая система MapleV. – М.: Издательство «Солон», 1998.