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