simplify

Форум пользователей пакета Maple

Модератор: Admin

вася111
Сообщения: 18
Зарегистрирован: Вт ноя 18, 2008 10:18 pm

simplify

Сообщение вася111 » Чт дек 18, 2008 9:51 pm

Скажите, пожалуйста, как в maple упростить функцию от нескольких переменных, если эти переменные сами выражаются через какие-то параметры, причем нелинейно. Например,
F(x,y,z)=x*z-z^2*y+y^5,
где x=sqrt(a+b+c), y=a-sqrt(c*b), z=a-b.
Хотелось бы найти F(a,b,c).Пробовал функцию simplify, но она не подошла, maple ругается на корни.

aar
Сообщения: 100
Зарегистрирован: Чт авг 10, 2006 11:27 am

Сообщение aar » Пт дек 19, 2008 9:39 am

simplify не ругается. Но не упрощает, а раскрывает все скобки, получается более громоздкое выражение, чем после подстановки.

Полищук Андрей
Сообщения: 55
Зарегистрирован: Чт ноя 09, 2006 2:40 pm
Откуда: Ижевск

Re: simplify

Сообщение Полищук Андрей » Вт дек 23, 2008 10:47 pm

вася111 писал(а):Скажите, пожалуйста, как в maple упростить функцию от нескольких переменных, если эти переменные сами выражаются через какие-то параметры, причем нелинейно. Например,
F(x,y,z)=x*z-z^2*y+y^5,
где x=sqrt(a+b+c), y=a-sqrt(c*b), z=a-b.
Хотелось бы найти F(a,b,c).Пробовал функцию simplify, но она не подошла, maple ругается на корни.

Это вообще-то нетривиальная вещь в общем случае. Неизвестно, что такое упрощение, в разных контекстах -- это разное. Вплоть до того, чтобы самому разработать и парсер написать.
Что-то похожее я отрабатывал с подстановками типа algsubs, сначала делал expand, потом algsubs, потом приводил подобные члены.