ID: 15.0 Parent: 14.0 Tree
PDER
VAR\IND x8 x9 x5^2*x3+x6^2*x3-x5*x6+x3
x3 -x7*(2*x5*x3-x6)*(x5^2*x3+
x6^2*x3-x5*x6+x3)
-x7*(2*x6*x3-x5)*(x5^2*x3+
x6^2*x3-x5*x6+x3)
x7-x8*x7*(2*x5*x3-x6)-x9*x
7*(2*x6*x3-x5)
x5 x5^2*x3+x6^2*x3-x5*x6+x3 0 x8
x6 0 x5^2*x3+x6^2*x3-x5*x6+x3 x9
x7 -2*x5*x7^2*(x5^2*x3+x6^2*x
3-x5*x6+x3)
-2*x6*x7^2*(x5^2*x3+x6^2*x
3-x5*x6+x3)
-2*x8*x5*x7^2-2*x9*x6*x7^2
x8 1 0 0
x9 0 1 0
FOCUS
x3^3*x5^2+x3^3*x6^2+x3^3-x3^2*x5*x6
x5
x6
2*x5*x3-x6
2*x6*x3-x5
DEP
x7*(x5^2+x6^2+1)-1
x8*(x5^2*x3+x6^2*x3-x5*x6+x3)-x5
x9*(x5^2*x3+x6^2*x3-x5*x6+x3)-x6
MAP
x1 x5*x3
x2 x6*x3
x3 x3
IMAP
x3 x3
x5 x1/x3
x6 x2/x3
x7 x3^2/(x2^2+x3^2+x1^2)
x8 x3*x1/(x3*x1^2+x3*x2^2+x3^3-x1*x2)
x9 x3*x2/(x3*x1^2+x3*x2^2+x3^3-x1*x2)
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
1-x5*x3*x8-x9*x6*x3+x5*x9 1
x5^2*x3+x6^2*x3-x5*x6+x3 1
C empty