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