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