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