ID: 332 Parent: 330 Tree
Blown up to:
333 334
x(18) x(5)
PDER
VAR\RSOP x(15) x(5) x(18)
x(5) 0 1 0
x(15) 1 0 0
x(18) 0 0 1
DEP 
MAP
x(1)x(5)^12*x(15)^2*x(18)
x(2)x(5)^8*x(15)*x(18)
x(3)x(5)^7*x(15)*x(18)
IMAP
x(5)(x(2))/(x(3))
x(15)(x(1)*x(3)^4)/(x(2)^5)
x(18)(x(3)^4)/(x(1)*x(2)^2)
FOCUS
x(5)^24*x(15)^4*x(18)^2-x(5)^23*x(15)^3*x(18)^3
x(5)^5*x(15)
x(5)^4*x(15)
x(5)^6*x(15)*x(18)
x(5)^3*x(15)
x(5)^4*x(15)*x(18)
x(5)^3*x(15)*x(18)
x(5)^2*x(15)*x(18)
x(5)^2*x(18)
x(5)*x(18)
x(18)
STACK
WBO (dim: 3)
W 
J
x(5)*x(15)-x(18)1
c1
E,a
x(18)1
x(15)1
x(5)9
TBO (dim: 3)
W 
J
x(5)*x(15)-x(18)1
E
x(18)
x(15)
x(5)
EM
x(18)
SBO (dim: 3)
W 
J
x(18)1
x(5)*x(15)-x(18)1
E
x(15)
x(5)
H
x(18)
WBO (dim: 2)
W
x(18)
J
10
c0
E,a
x(15)1
x(5)1
Blown up to:
333 334
x(18) x(5)
ID: 332 Parent: 330 Tree