ID:
18
Parent:
4
Tree
Covered by:
27
28
x(7)
-x(6)*x(7)+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(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))
FOCUS
-x(4)^4*x(6)*x(7)^3+x(4)^4*x(7)^2
x(4)
x(4)*x(6)
STACK
WBO (dim: 3)
W
J
-x(6)*x(7)+1
1
c
1
E,a
x(7)
1
x(4)
2
TBO (dim: 3)
W
J
-x(6)*x(7)+1
1
E
x(7)
x(4)
EM
x(7)
x(4)
Covered by:
27
28
x(7)
-x(6)*x(7)+1
ID:
18
Parent:
4
Tree