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