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