ID: 205.0 Parent: 200.0 Tree
PDER
VAR\IND x15 x10 x16 x4
x4 0 0 0 1
x8 ((3/2*x15^2*x10^4-1/
2*x15*x10^4*x16)*x10
-1/2*x10^5*x15*x16)*
x10
-3/2*x16*x10^5*x15^2
+x15*x10*(3/2*x15^2*
x10^4-1/2*x15*x10^4*
x16)+x15*((3/2*x15^2
*x10^4-1/2*x15*x10^4
*x16)*x10-1/2*x10^5*
x15*x16)
-1/2*x10^6*x15^2 0
x10 0 1 0 0
x15 1 0 0 0
x16 0 0 1 0
x17 -2*x15*x10*x17^2 -(x15^2-x16^2)*x17^2
2*x17^2*x16*x10 0
FOCUS
x15^4*x10^11*x4^4+x15^3*x10^6*x4^4*x8-x8^2*x4^4
x15*x10^2
x15*x10^3
x8
x15*x10^4*x16
x15*x10^3*x16
x15*x10
x16*x15*x10^2
x16*x10
2*x15*x10
x15^2-x16^2
-2*x16*x10
(-x15^3-x16*x15^2+x16^2*x15+x16^3)*(-3/2*x16*x10^5*x15^2+x15*x10*(3/2*x15^2*x10^
4-1/2*x15*x10^4*x16)+x15*((3/2*x15^2*x10^4-1/2*x15*x10^4*x16)*x10-1/2*x10^5*x15*
x16))+32*x10^3*x16^2-96*x10^2
(x15^5+x15^4*x16-2*x16^2*x15^3-2*x15^2*x16^3+x16^4*x15+x16^5)*(-3/2*x16*x10^5*x1
5^2+x15*x10*(3/2*x15^2*x10^4-1/2*x15*x10^4*x16)+x15*((3/2*x15^2*x10^4-1/2*x15*x1
0^4*x16)*x10-1/2*x10^5*x15*x16))+96*x10^2*x16^2-256*x10
DEP
x10^6*x15^2*x16-x15^3*x10^6+2*x8
x17*(x15^2*x10-x16^2*x10+4)-1
MAP
x1 x15*x10^2*x4
x2 x10^3*x15*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x10 x2/x1
x15 x1^3/x2^2/x4
x16 -(2*x3*x4^2-x1^3)/x4/x2^2
x17 -1/4*x1*x2^3/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
x15^2*x10-x16^2*x10+4 0
c 0
Nempty
(E,a)
Ea
x4 3
x15 0
x10 1
C empty