ID: 111.0 Parent: 110.0 Tree
PDER
VAR\IND x11 x12 x9^2*x6^5-x7^2*x6+x9
x6 x9^2*x6^5-x7^2*x6+x9 0 x11
x7 0 x9^2*x6^5-x7^2*x6+x9 x12
x9 -x10*(5*x9^2*x6^4-x7^2)*(x
9^2*x6^5-x7^2*x6+x9)
2*x10*x7*x6*(x9^2*x6^5-x7^
2*x6+x9)
x10-x11*x10*(5*x9^2*x6^4-x
7^2)+2*x12*x10*x7*x6
x10 (-10*x9*x6^4*x10^2+2*x10^3
*x6^5*(5*x9^2*x6^4-x7^2))*
(x9^2*x6^5-x7^2*x6+x9)
-4*x10^3*x6^6*x7*(x9^2*x6^
5-x7^2*x6+x9)
-2*x10^3*x6^5+x11*(-10*x9*
x6^4*x10^2+2*x10^3*x6^5*(5
*x9^2*x6^4-x7^2))-4*x12*x1
0^3*x6^6*x7
x11 1 0 0
x12 0 1 0
FOCUS
x6^12*x9^6*x7^6-x9^4*x7^8*x6^8+x6^7*x9^5*x7^6
x7*x6
x6
5*x9^2*x6^4-x7^2
-2*x7*x6
DEP
x10*(2*x9*x6^5+1)-1
x11*(x9^2*x6^5-x7^2*x6+x9)-x6
x12*(x9^2*x6^5-x7^2*x6+x9)-x7
MAP
x1 x9*x7*x6^2
x2 x6^2*x7^2*x9
x3 x9*x7*x6
IMAP
x6 x1/x3
x7 x2/x1
x9 x3^2/x2
x10 x2*x3^3/(2*x1^5+x2*x3^3)
x11 x1^2*x2^2/(x1^6-x2^4+x1*x2*x3^3)
x12 x2^3*x3/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
1-x9^2*x6^4*x11+x7*x6*x12 3
x11 5
x12 4
x9^2*x6^5-x7^2*x6+x9 12
C empty