ID: 142 Parent: 114 Tree
Blown up to:
143 144 145
x(12) x(10) x(14)-1
PDER
VAR\RSOP x(14)-1 x(12) x(10)
x(10) 0 0 1
x(12) 0 1 0
x(13) -x(13)^2 0 0
x(14) x(13)^2*x(14)^2 0 0
DEP
x(13)*x(14)-1
MAP
x(1)x(10)^11*x(12)^4*x(13)^6
x(2)x(10)^8*x(12)^3*x(13)^4
x(3)x(10)^6*x(12)^2*x(13)^3
IMAP
x(10)(x(3)^2)/(x(1))
x(13)(x(1)^2)/(x(2)^2*x(3))
x(12)(x(2)^3)/(x(3)^4)
x(14)(x(2)^2*x(3))/(x(1)^2)
FOCUS
x(10)^22*x(12)^8*x(13)^12-x(10)^22*x(12)^8*x(13)^11
x(10)^5*x(12)^2*x(13)^3
x(10)^3*x(12)*x(13)^2
x(10)^4*x(12)*x(13)^2
x(10)*x(13)
x(10)
x(10)*x(12)
STACK
WBO (dim: 3)
W 
J
x(13)-11
c1
E,a
x(12)4
x(10)10
TBO (dim: 3)
W 
J
x(13)-11
E
x(12)
x(10)
EM
x(12)
SBO (dim: 3)
W 
J
x(12)1
x(13)-11
E
x(10)
H
x(12)
WBO (dim: 2)
W
x(12)
J
x(13)-11
c1
E,a
x(10)0
TBO (dim: 2)
W
x(12)
J
x(13)-11
E
x(10)
EM
x(10)
SBO (dim: 2)
W
x(12)
J
x(10)1
x(13)-11
E 
H
x(10)
WBO (dim: 1)
W
x(12)
x(10)
J
x(13)-11
c1
E,a 
TBO (dim: 1)
W
x(12)
x(10)
J
x(13)-11
E 
EM 
SBO (dim: 1)
W
x(12)
x(10)
J
x(13)-11
E 
Blown up to:
143 144 145
x(12) x(10) x(14)-1
ID: 142 Parent: 114 Tree