ID: 208.0 Parent: 206.0 Tree
PDER
VAR\IND x15 x15^2*x10-x16^2*x10+
4
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-2*x17*(-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))
*x15*x10
x17*(-3/2*x16*x10^5*
x15^2+x15*x10*(3/2*x
15^2*x10^4-1/2*x15*x
10^4*x16)+x15*((3/2*
x15^2*x10^4-1/2*x15*
x10^4*x16)*x10-1/2*x
10^5*x15*x16))
-1/2*x10^6*x15^2+2*x
17*(-3/2*x16*x10^5*x
15^2+x15*x10*(3/2*x1
5^2*x10^4-1/2*x15*x1
0^4*x16)+x15*((3/2*x
15^2*x10^4-1/2*x15*x
10^4*x16)*x10-1/2*x1
0^5*x15*x16))*x16*x1
0
0
x10 -2*x17*x10*x15 x17 2*x17*x16*x10 0
x15 1 0 0 0
x16 0 0 1 0
x17 -2*x17^2*x15 0 2*x16*x17^2 0
x18 -(-2*(x15^2-x16^2)*x
17*x10*x15+2*x15*x10
)*x18^2
-x17*(x15^2-x16^2)*x
18^2
-(2*(x15^2-x16^2)*x1
7*x16*x10-2*x16*x10)
*x18^2
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
x8
2*x15*x10
x16*x10
DEP
x10^6*x15^2*x16-x15^3*x10^6+2*x8
x17*(x15^2-x16^2)-1
x18*(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*x2^4/x3/(x3*x4^2-x1^3)
x18 -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