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