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