Чтение онлайн

на главную

Жанры

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

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

Шрифт:

> subsop(1=sin(x),2=sin(x),(1+cos(x))/b);

sin(x)²

Следует обратить внимание на то, что результат подстановок, полученный с помощью функции subop, порой может не совпадать с ожидаемым. Поэтому полезно контролировать получаемые в результате подстановок выражения на их корректность.

Одним из важных применений подстановок является проверка правильности решений уравнений и систем уравнений. Ниже дан пример такой проверки:

> eqs:={x+y+z=6,y/x=z-1,z-x=2};

> res:=solve(eqs,{х,у,z});

res: = {z = -2,
у = 12, x = -4}, {y = 2, z = 3, x = 1}

> subs(res,eqs);

{2 = 2, 6 = 6, -3 = -3}

> subs(c=a-b,(а^2-2*а*b+b^2)/с);

Здесь задана система из трех нелинейных уравнений, которая затем решена функцией solve. В конце примера с помощью функции подстановки выполнена проверка правильности решения. Оно верно, поскольку у всех уравнений значение левой части совпадает со значением правой части.

3.6.5. Подстановки правил и подвыражений

Для применения некоторого правила или списка правил rule к некоторому выражению expr используется функция applyrule(rule, expr). Применение этой функции достаточно очевидно:

> restart:applyrule(f(а::integer*х)=a*f(х),f(2*х)+g(х)-p*f(х));

2f(x)+g(x)-pf(x)

> applyrule(х^2=у,f(x^2,ln(cos(x)+2*x^2)));

f(y, ln(cos(x) + 2y))

> applyrule(b+c=x,f(a+b+c+d));

f(x + a + d)

Эта функция более мощная, чем subs, но она не выполняет математические вычисления, подобно тому, как это делает функция algsubs(a=b, f, v, options) с необязательными двумя последними параметрами. Проанализируйте следующие примеры

> algsubs(а^2=0, ехр(2-а+а^2/2-а^3/6));

e(2-a)

> applyrule(а^2=0, ехр(2-a+a^2/2-a^3/6));

e(2-a-1/6a³)

и различия между этими функциями подстановки станет ясным.

3.6.6. Функции сортировки и селекции

Сортировка и селекция выражений широко используются в практике символьных преобразований. Нередко она важна в статистических расчетах, обеспечивая повышение их точности.

Для выполнения сортировки служит функция sort, применяемая в одной из следующих форм:

sort(L)

sort(L, F)

sort(A)

sort(A, V)

Здесь L — список сортируемых значений, F — необязательная булева процедура с двумя аргументами, А — алгебраическое выражение, V — необязательные дополнительные переменные.

Примеры применения этих функций (файл sortsel)

> restart;

> sort([у, s,f,a,c,i] ); t([2,5,1,7,3,8]);

[a, c, f, i, s, y]
t([2, 5,1,7, 3, 8])

> sort([y,s,f,a,c,i]);

[a, c, f, i, s, y]

> sort([у,s,f,а,с,i],lexorder);

[a, c, f, i, s, y]

> sort(1+х^4-х^2+х);

x4– x2 + x + 1

> sort(у*х^2+х*у+у-х^2+х^4*у^5);

x4 y5 + x2y - x2 + xy +
у

> sort((y+z+x)/(y-x-z),{x, y})
;

> names:= ["Peter","Anna","Vladimir", "Ivan"];

names := ["Peter", "Anna", "Vladimir", "Ivan"]

> sort(names);

["Anna", "Ivan", "Peter", "Vladimir"]

> integers:=[$10..30];

integers := [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30]

Если функция сортировки меняет порядок расположения членов в выражении (или порядок расположения выражений), то другая функция — select — служит для выделения требуемого выражения:

select(f, е)

select(f, е, b1, ..., bn)

Как бы обратной ей по действию служит функция remove, устраняющая заданные выражения:

remove(f, е)

remove(f, е, b1,.... bn)

В этих функциях f — процедура, возвращающая логическое значение, е — список, множество, сумма, произведение или функция, b1, …, bn — необязательные дополнительные аргументы.

Ниже даны примеры применения этих функций (файл sortsel):

> integers := [$10..30]:

> select(isprime,integers);

[11, 13, 17, 19, 23, 29]

> remove(isprime,integers);

[10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 25, 26, 27, 28, 30]

> f:=2*ln(a*x)*exp(x)*ln(y);

f: = 2 ln(ax)ex ln(y)

> select(has,f,x);

ln(ax)ex

> remove(has,f,x);

2 ln(y)

> f:=indets(f);

f: = {a, x, y, ex, ln(y), ln(ax)}

> select(type,f,name);

{a, x, y}

> remove(type,f,name);

x, ln(y), ln(ах)}
Поделиться:
Популярные книги

Бастард Императора

Орлов Андрей Юрьевич
1. Бастард Императора
Фантастика:
фэнтези
аниме
5.00
рейтинг книги
Бастард Императора

На границе империй. Том 10. Часть 1

INDIGO
Вселенная EVE Online
Фантастика:
космическая фантастика
попаданцы
5.00
рейтинг книги
На границе империй. Том 10. Часть 1

Имя нам Легион. Том 7

Дорничев Дмитрий
7. Меж двух миров
Фантастика:
боевая фантастика
рпг
аниме
5.00
рейтинг книги
Имя нам Легион. Том 7

Измена. Вторая жена мужа

Караева Алсу
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Измена. Вторая жена мужа

Буря империи

Сай Ярослав
6. Медорфенов
Фантастика:
аниме
фэнтези
фантастика: прочее
эпическая фантастика
5.00
рейтинг книги
Буря империи

Пенсия для морского дьявола

Чиркунов Игорь
1. Первый в касте бездны
Фантастика:
попаданцы
5.29
рейтинг книги
Пенсия для морского дьявола

На изломе чувств

Юнина Наталья
Любовные романы:
современные любовные романы
6.83
рейтинг книги
На изломе чувств

Тринадцатый II

NikL
2. Видящий смерть
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Тринадцатый II

Сирота

Шмаков Алексей Семенович
1. Светлая Тьма
Фантастика:
юмористическое фэнтези
городское фэнтези
аниме
5.00
рейтинг книги
Сирота

Законы Рода. Том 9

Flow Ascold
9. Граф Берестьев
Фантастика:
городское фэнтези
попаданцы
аниме
дорама
фэнтези
фантастика: прочее
5.00
рейтинг книги
Законы Рода. Том 9

Красноармеец

Поселягин Владимир Геннадьевич
1. Красноармеец
Фантастика:
боевая фантастика
попаданцы
4.60
рейтинг книги
Красноармеец

Огненный князь 4

Машуков Тимур
4. Багряный восход
Фантастика:
попаданцы
аниме
5.00
рейтинг книги
Огненный князь 4

Начальник милиции. Книга 5

Дамиров Рафаэль
5. Начальник милиции
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Начальник милиции. Книга 5

Инкарнатор

Прокофьев Роман Юрьевич
1. Стеллар
Фантастика:
боевая фантастика
рпг
7.30
рейтинг книги
Инкарнатор