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