ID: 234 Parent: 232 Tree
Blown up to:
235 236
x(18) x(14)
PDER
VAR\RSOP x(14) x(7) x(18)
x(7) 0 1 0
x(14) 1 0 0
x(18) 0 0 1
DEP 
MAP
x(1)x(7)^16*x(14)^3*x(18)^2
x(2)x(7)^13*x(14)^2*x(18)^2
x(3)x(7)^6*x(14)*x(18)
IMAP
x(7)(x(2))/(x(3)^2)
x(14)(x(1)*x(3)^6)/(x(2)^4)
x(18)(x(3)^7)/(x(1)*x(2)^2)
FOCUS
x(7)^32*x(14)^6*x(18)^4-x(7)^32*x(14)^5*x(18)^5
x(7)^10*x(14)^2*x(18)
x(7)^4*x(14)
x(7)^3*x(14)
x(7)^5*x(14)*x(18)
x(7)^4*x(14)*x(18)
x(7)^3*x(14)*x(18)
x(7)^3*x(18)
x(7)^2*x(18)
x(7)*x(18)
x(18)
STACK
WBO (dim: 3)
W 
J
x(14)-x(18)1
c1
E,a
x(18)2
x(14)2
x(7)13
TBO (dim: 3)
W 
J
x(14)-x(18)1
E
x(18)
x(14)
x(7)
EM
x(18)
SBO (dim: 3)
W 
J
x(18)1
x(14)-x(18)1
E
x(14)
x(7)
H
x(18)
WBO (dim: 2)
W
x(18)
J
10
c0
E,a
x(14)1
x(7)0
Blown up to:
235 236
x(18) x(14)
ID: 234 Parent: 232 Tree