ID:
7
Parent:
3
Tree
Covered by:
13
14
x(6)
-x(4)*x(6)*x(7)^2+1
PDER
VAR\RSOP
x(4)
x(7)
x(6)
x(4)
1
0
0
x(6)
0
0
1
x(7)
0
1
0
DEP
MAP
x(1)
x(4)^2*x(6)
x(2)
x(4)^2*x(6)*x(7)
x(3)
x(4)*x(6)
IMAP
x(4)
(x(1))/(x(3))
x(7)
(x(2))/(x(1))
x(6)
(x(3)^2)/(x(1))
FOCUS
-x(4)^5*x(6)^3*x(7)^2+x(4)^4*x(6)^2
x(4)
STACK
WBO (dim: 3)
W
J
-x(4)*x(6)*x(7)^2+1
1
c
1
E,a
x(6)
1
x(4)
2
TBO (dim: 3)
W
J
-x(4)*x(6)*x(7)^2+1
1
E
x(6)
x(4)
EM
x(6)
x(4)
Covered by:
13
14
x(6)
-x(4)*x(6)*x(7)^2+1
ID:
7
Parent:
3
Tree