Не вычисляется интеграл в Maple

[Alejandros]

Добрый день! Помогите пожалуйста решить следующую проблему - в коде, приведенном ниже, Maple почему-то не считает интеграл в последнем выражении, хотя на предыдущих шагах все вычисляется нормально. В чем причина этого? Заранее спасибо за советы.

Вот код программы (не знаю, можно ли прикрепить файл в сообщении...):

> with(VectorCalculus):
> with(linalg):

> Q4(x,y) := x^4: P8(x,y) := x^8:
> Q3(x,y) := B[3,0]*x^3 + QQ3(x,y):
> Q2(x,y) := B[2,0]*x^2 + QQ2(x,y):
> Q1(x,y) := B[1,0]*x + QQ1(x,y):

> R2 := det(Jacobian([P7(x,y),Q4(x,y)],[x,y])) + det(Jacobian([P8(x,y),Q3(x,y)],[x,y]));
> P7(x,y) := A[7,0]*x^7 + solve(int(R2,y)=0,P7(x,y));

> R3 := det(Jacobian([P6(x,y),Q4(x,y)],[x,y])) + det(Jacobian([P7(x,y),Q3(x,y)],[x,y])) + det(Jacobian([P8(x,y),Q2(x,y)],[x,y]));
> P6(x,y) := A[6,0]*x^6 + solve(int(R3,y)=0,P6(x,y));

> R4 := det(Jacobian([P5(x,y),Q4(x,y)],[x,y])) + det(Jacobian([P6(x,y),Q3(x,y)],[x,y])) + det(Jacobian([P7(x,y),Q2(x,y)],[x,y])) + det(Jacobian([P8(x,y),Q1(x,y)],[x,y]));
> P5(x,y) := A[5,0]*x^5 + solve(int(R4,y)=0,P5(x,y));

Error, (in solve) cannot solve expressions with diff(P5(x,y),y) for P5(x,y)

[Alejandros]

Я понял из-за чего не вычисляется интеграл - Maple не может упростить выражение

$$\frac{\partial f(x,y)}{\partial y} \cdot g(x,y) + \frac{\partial g(x,y)}{\partial y} \cdot f(x,y) = \frac{\partial f(x,y) \cdot g(x,y)}{\partial y}$$

Можно ли как-то "заставить" программу выполнить такое упрощение?

[reader_st]

Alejandros

Я думаю Вы знаете о стандартных функция упрощения в Maple. Здесь возможны или вариации, или свои наработки, или изменения хода решения.