simplify

[вася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 ругается на корни.

[aar]

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

[Полищук Андрей]

Скажите, пожалуйста, как в 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, потом приводил подобные члены.