Maple 9.5/10 в математике, физике и образовании

Дьяконов Владимир Павлович

или

element in SetOf(type)

где element — элемент множества или списка objs, type — тип выражения. Применение оператора in поясняет несколько примеров:

> a in {а, b, с, d};

а ∈ {b, а, с, d}

> evalb(%);

true

> 3 in {1,2,3} intersect ({1,2,6} minus {1,4,7});

3 ∈ {2}

> evalb(%);

false

> evalb(1 in '{1,2,3} intersect ({1,2,6} minus {1,4,7})');

false

> is(

у in SetOf( real ) ) assuming x :: fraction;

false

> is( x in SetOf( real ) ) assuming x :: fraction;

true

> coulditbe( x in SetOf ( integer ) ) assuming x ::rational;

true

3.1.6. Применение унарных арифметических операторов

Унарные операторы используются с одним операндом. Они могут быть префиксными, если оператор стоит перед операндом, и постфиксными, если он стоит после операнда. К унарным относятся семь операторов, приведенных в табл. 3.2.

Таблица 3.2. Унарные операторы

Обозначение	Оператор
+	Унарный плюс (префикс)
–	Унарный минус (префикс)
!	Факториал (постфикс)
.	Десятичная точка (префикс или постфикс)
$	Последовательность (префикс)
not	Логическое отрицание (префикс)
&string	Метка (префикс)

Примеры применения унарных операторов в Maple 9.5:

> [-x,x+(-x),х+(+х)];

[-x, 0, 2х]

> 20!;

2432902008176640000

> .234;

.234

> 2.34;

2.34

> 2*%;

4.68

> а$3;

а, a, а

3.1.7. Применение оператора % и команды history

Мы уже неоднократно отмечали, что в Maple оператор % обеспечивает подстановку в строку ввода (или в выражение) последнего результата операции, %% — предпоследнего и %%% — третьего с конца. Есть еще одна иногда полезная возможность проследить за ходом частных вычислений внутри документа — применение команды-функции history.

Функция history(expr) или history создает список переменных вида Oi, где индекс i=1, 2, 3… . Этим переменным можно присваивать значения в диалоговом режиме и отслеживать результаты вычислений. Команда off;, вводимая после использования данной функции, завершает работу с ней. Ниже представлен диалог с применением функции history:

> history;

O1 := 2;

2

O2 := sin(1.);

.8414709848

O3 := O1*O2;

1.682941970

O4 := off;

> %;

history

К

сожалению, полученный результат и значения глобальных переменных Oi после завершения работы с данной функцией становятся недоступными, так что практической пользы от ее применения не так уж много. Разумеется, внутри блока history вы можете присвоить результат другой переменной, и он сохранится. При каждом очередном применении функции history нумерация переменных Oi начинается с начала, так что какой-либо преемственности при использовании этой функции нет.

Функция history может применяться в качестве средства начальной отладки вычислений. Внутри фрагмента программы, заданного функцией history, можно задавать построения графиков. Например, при исполнении фрагмента программы

> history;

O1 := sin(х);

sin(x)

O2 := plot(O1,х=0..20) ;

O3:= off;

будет построен график синусоиды. В целом работа с функцией history отличается не слишком высокой стабильностью, так что возможности этой функции пока остаются не слишком востребованными.

3.1.8. Работа с логическими операторами

Логические операторы, именуемые также булевыми, указывают на логическую связь величин (или выражений). Они представлены рядом бинарных операторов, приведенных в табл. 6.3 и реализованы во всех СКМ.

Таблица 3.3. Бинарные логические операторы

Обозначение	Оператор
<	Меньше
<=	Меньше или равно
>	Больше
>=	Большее или равно
=	Равно
о	Не равно
And	Логическое «и»
Or	Логическое «или»

Конструкции с этими операторами, такие как х=у, возвращают логическое значение — константу true, если условие выполняется, и false, если оно не выполняется. Кроме того, к логическим операторам относится унарный оператор not — он представляет логическое «нет». Для возврата логических значений выражений с этими операторами в Maple 9.5 используется функция evalb(условие), например (файл evalb):

> 5<2 ;

5 < 2

> evalb(%);

false

> evalb(4=2+2);

true

> evalb(3<>3);

false

> evalb(not(%));

true

> evalb(3=3 and 4>2);

true

> evalb(3=3 or 2<0);

true

> evalb(x*y=y*x);

true

Логические операторы часто используются в управляющих структурах программ, составленных на языке программирования Maple. Такое их применение мы рассмотрим позже.