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