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