ID: 20 Parent: 4 Tree
Exchanged to:
102
3<->x(6)^2-x(7)
PDER
VAR\RSOP x(6) x(2) x(7)
x(2) 0 1 0
x(6) 1 0 0
x(7) 0 0 1
DEP 
MAP
x(1)x(2)^2*x(6)
x(2)x(2)
x(3)x(2)^2*x(7)
IMAP
x(2)(x(2))/(1)
x(7)(x(3))/(x(2)^2)
x(6)(x(1))/(x(2)^2)
FOCUS
x(2)^4*x(6)^2-x(2)^4*x(7)
x(2)*x(6)
x(2)*x(7)
x(6)
x(7)
STACK
WBO (dim: 3)
W 
J
x(6)^2-x(7)1
c1
E,a
x(2)2
TBO (dim: 3)
W 
J
x(6)^2-x(7)1
E
x(2)
EM
x(2)
SBO (dim: 3)
W 
J
x(2)1
x(6)^2-x(7)1
E 
H
x(2)
WBO (dim: 2)
W
x(2)
J
x(6)^2-x(7)1
c1
E,a 
TBO (dim: 2)
W
x(2)
J
x(6)^2-x(7)1
E 
EM 
SBO (dim: 2)
W
x(2)
J
x(6)^2-x(7)1
E 
Exchanged to:
102
3<->x(6)^2-x(7)
ID: 20 Parent: 4 Tree