ID: 33 Parent: 32 Tree
PDER
VAR\RSOP x(4) x(9) x(6)
x(4) 1 0 0
x(6) 0 0 1
x(7) x(7)^2*x(9) x(4)*x(7)^2 -x(7)^2
x(8) -x(7)^2*x(8)^2*x(9) -x(4)*x(7)^2*x(8)^2 x(7)^2*x(8)^2
x(9) 0 1 0
DEP
x(4)*x(9)-x(6)+x(8)
x(7)*x(8)-1
MAP
x(1)x(4)^2*x(7)
x(2)x(4)*x(7)
x(3)x(4)^2*x(6)*x(7)
IMAP
x(4)(x(1))/(x(2))
x(7)(x(2)^2)/(x(1))
x(6)(x(3))/(x(1))
x(8)(x(1))/(x(2)^2)
x(9)(-x(2)^2*x(3)-x(1)^2)/(-x(1)^2*x(2))
FOCUS
-x(4)^4*x(6)*x(7)^3+x(4)^4*x(7)^2
x(4)
x(4)*x(6)
TAGS
0,1,0
STACK
WBO (dim: 3)
W 
J
-x(7)*x(9)1
c1
E,a
x(4)2
TBO (dim: 3)
W 
J
-x(7)*x(9)1
E
x(4)
EM 
SBO (dim: 3)
W 
J
-x(7)*x(9)1
E
x(4)
ID: 33 Parent: 32 Tree