ID: 3 Parent: 1 Tree
Blown up to:
7 8
x(2) x(3)
PDER
VAR\RSOP x(3) x(2)
x(2) 0 1
x(3) 1 0
DEP 
MAP
x(1)x(2)*x(3)
x(2)x(2)
IMAP
x(2)(x(2))/(1)
x(3)(x(1))/(x(2))
FOCUS
x(2)^2*x(3)^2-x(2)^3
x(3)
STACK
WBO (dim: 2)
W 
J
x(3)^2-x(2)1
c1
E,a
x(2)1
TBO (dim: 2)
W 
J
x(3)^2-x(2)1
E
x(2)
EM
x(2)
SBO (dim: 2)
W 
J
x(2)1
x(3)^2-x(2)1
E 
H
x(2)
WBO (dim: 1)
W
x(2)
J
x(3)^22
c2
E,a 
TBO (dim: 1)
W
x(2)
J
x(3)^22
E 
EM 
SBO (dim: 1)
W
x(2)
J
x(3)^22
E 
Blown up to:
7 8
x(2) x(3)
ID: 3 Parent: 1 Tree