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