ID: 232 Parent: 230 Tree
Blown up to:
233 234
x(17) x(7)
PDER
VAR\RSOP x(14) x(7) x(17)
x(7) 0 1 0
x(14) 1 0 0
x(17) 0 0 1
DEP 
MAP
x(1)x(7)^14*x(14)^3*x(17)^2
x(2)x(7)^11*x(14)^2*x(17)^2
x(3)x(7)^5*x(14)*x(17)
IMAP
x(7)(x(2))/(x(3)^2)
x(14)(x(1)*x(3)^6)/(x(2)^4)
x(17)(x(3)^5)/(x(1)*x(2))
FOCUS
x(7)^28*x(14)^6*x(17)^4-x(7)^27*x(14)^5*x(17)^5
x(7)^9*x(14)^2*x(17)
x(7)^4*x(14)
x(7)^3*x(14)
x(7)^4*x(14)*x(17)
x(7)^3*x(14)*x(17)
x(7)^2*x(14)*x(17)
x(7)^2*x(17)
x(7)*x(17)
x(17)
STACK
WBO (dim: 3)
W 
J
x(7)*x(14)-x(17)1
c1
E,a
x(17)2
x(14)2
x(7)11
TBO (dim: 3)
W 
J
x(7)*x(14)-x(17)1
E
x(17)
x(14)
x(7)
EM
x(17)
SBO (dim: 3)
W 
J
x(17)1
x(7)*x(14)-x(17)1
E
x(14)
x(7)
H
x(17)
WBO (dim: 2)
W
x(17)
J
10
c0
E,a
x(14)1
x(7)1
Blown up to:
233 234
x(17) x(7)
ID: 232 Parent: 230 Tree