ID: 260 Parent: 258 Tree
Blown up to:
261 262
x(19) x(13)
PDER
VAR\RSOP x(13) x(19) x(15)
x(13) 1 0 0
x(15) 0 0 1
x(19) 0 1 0
DEP 
MAP
x(1)x(13)^17*x(15)^14*x(19)^2
x(2)x(13)^13*x(15)^11*x(19)^2
x(3)x(13)^7*x(15)^6*x(19)
IMAP
x(13)(x(1)*x(2)^2)/(x(3)^6)
x(15)(x(3)^8)/(x(1)*x(2)^3)
x(19)(x(2)^4)/(x(1)*x(3)^5)
FOCUS
x(13)^34*x(15)^28*x(19)^4-x(13)^33*x(15)^28*x(19)^5
x(13)^10*x(15)^8*x(19)
x(13)^4*x(15)^3
x(13)*x(15)
x(13)^3*x(15)^2
x(13)^5*x(15)^4*x(19)
x(13)^3*x(15)^2*x(19)
x(13)^2*x(15)^2*x(19)
x(15)
x(13)*x(15)^2*x(19)
x(15)^2*x(19)
x(15)*x(19)
x(19)
STACK
WBO (dim: 3)
W 
J
x(13)-x(19)1
c1
E,a
x(19)2
x(13)14
x(15)12
TBO (dim: 3)
W 
J
x(13)-x(19)1
E
x(19)
x(13)
x(15)
EM
x(19)
SBO (dim: 3)
W 
J
x(19)1
x(13)-x(19)1
E
x(13)
x(15)
H
x(19)
WBO (dim: 2)
W
x(19)
J
10
c0
E,a
x(13)1
x(15)0
Blown up to:
261 262
x(19) x(13)
ID: 260 Parent: 258 Tree