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