ID: 44 Parent: 24 Tree
Blown up to:
45 46
x(9) x(6)
PDER
VAR\RSOP x(9) x(8) x(6)
x(1) x(4)*x(6)^3*x(8) -2*x(4)*x(6)^4*x(8)+x(4)*x(6)^3*x
(9)-5*x(1)^2*x(4)*x(6)
-4*x(4)*x(6)^3*x(8)^2+3*x(4)*x(6)
^2*x(8)*x(9)-5*x(1)^2*x(4)*x(8)
x(4) -10*x(4)^3*x(6)^4*x(8)^2 20*x(4)^3*x(6)^5*x(8)^2-10*x(4)^3
*x(6)^4*x(8)*x(9)+50*x(1)^2*x(4)^
3*x(6)^2*x(8)-10*x(1)*x(4)^2*x(6)
40*x(4)^3*x(6)^4*x(8)^3-30*x(4)^3
*x(6)^3*x(8)^2*x(9)+50*x(1)^2*x(4
)^3*x(6)*x(8)^2-10*x(1)*x(4)^2*x(
8)
x(6) 0 0 1
x(8) 0 1 0
x(9) 1 0 0
DEP
-x(6)^4*x(8)^2+x(6)^3*x(8)*x(9)-5*x(1)^2*x(6)*x(8)+x(1)
10*x(1)*x(4)*x(6)*x(8)-x(4)-1
MAP
x(1)x(1)
x(2)x(6)*x(8)
x(3)x(6)^2*x(8)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(6)(x(3))/(x(2))
x(8)(x(2)^2)/(x(3))
x(9)(x(1)^2*x(2)^2+x(2)*x(3)^2+x(1)*x(2))/(x(3)^2)
FOCUS
3*x(6)^4*x(8)^2-x(1)
-x(6)^2*x(8)
x(6)^2*x(9)
x(6)
x(6)*x(9)
x(9)
STACK
WBO (dim: 3)
W 
J
1875*x(1)^6*x(6)^3*x(8)^5-1875*x(1)^6*x(6)^2*x(8)^4*x(9)+9375*x(1)^8*x(8)^4+375*x(1)^5*x(6)^2*x(8)^4
-375*x(1)^5*x(6)*x(8)^3*x(9)-55*x(1)^2*x(6)^3*x(8)^3*x(9)+75*x(1)^4*x(6)*x(8)^3+55*x(1)^2*x(6)^2*x(8
)^2*x(9)^2-4*x(1)*x(6)^3*x(8)^3-350*x(1)^4*x(8)^2*x(9)-4*x(1)*x(6)^2*x(8)^2*x(9)-5*x(1)^3*x(8)^2+8*x
(1)*x(6)*x(8)*x(9)^2+x(9)^2
2
c1
E,a
x(8)0
x(6)0
TBO (dim: 3)
W 
J
1875*x(1)^6*x(6)^3*x(8)^5-1875*x(1)^6*x(6)^2*x(8)^4*x(9)+9375*x(1)^8*x(8)^4+375*x(1)^5*x(6)^2*x(8)^4
-375*x(1)^5*x(6)*x(8)^3*x(9)-55*x(1)^2*x(6)^3*x(8)^3*x(9)+75*x(1)^4*x(6)*x(8)^3+55*x(1)^2*x(6)^2*x(8
)^2*x(9)^2-4*x(1)*x(6)^3*x(8)^3-350*x(1)^4*x(8)^2*x(9)-4*x(1)*x(6)^2*x(8)^2*x(9)-5*x(1)^3*x(8)^2+8*x
(1)*x(6)*x(8)*x(9)^2+x(9)^2
2
E
x(8)
x(6)
EM 
SBO (dim: 3)
W 
J
1875*x(1)^6*x(6)^3*x(8)^5-1875*x(1)^6*x(6)^2*x(8)^4*x(9)+9375*x(1)^8*x(8)^4+375*x(1)^5*x(6)^2*x(8)^4
-375*x(1)^5*x(6)*x(8)^3*x(9)-55*x(1)^2*x(6)^3*x(8)^3*x(9)+75*x(1)^4*x(6)*x(8)^3+55*x(1)^2*x(6)^2*x(8
)^2*x(9)^2-4*x(1)*x(6)^3*x(8)^3-350*x(1)^4*x(8)^2*x(9)-4*x(1)*x(6)^2*x(8)^2*x(9)-5*x(1)^3*x(8)^2+8*x
(1)*x(6)*x(8)*x(9)^2+x(9)^2
2
E
x(8)
x(6)
WBO (dim: 2)
W
x(9)
J
488281250*x(1)^13*x(4)^2*x(6)^3*x(8)^7+1464843750*x(1)^13*x(4)*x(6)^3*x(8)^7-488281250*x(1)^13*x(4)^
2*x(6)^2*x(8)^6*x(9)+2441406250*x(1)^15*x(4)^2*x(8)^6+1953125000*x(1)^13*x(6)^3*x(8)^7-1464843750*x(
1)^13*x(4)*x(6)^2*x(8)^6*x(9)+7324218750*x(1)^15*x(4)*x(8)^6+97656250*x(1)^12*x(4)^2*x(6)^2*x(8)^6-1
953125000*x(1)^13*x(6)^2*x(8)^6*x(9)+9765625000*x(1)^15*x(8)^6+292968750*x(1)^12*x(4)*x(6)^2*x(8)^6-
97656250*x(1)^12*x(4)^2*x(6)*x(8)^5*x(9)+390625000*x(1)^12*x(6)^2*x(8)^6-292968750*x(1)^12*x(4)*x(6)
*x(8)^5*x(9)+19531250*x(1)^11*x(4)^2*x(6)*x(8)^5-390625000*x(1)^12*x(6)*x(8)^5*x(9)+58593750*x(1)^11
*x(4)*x(6)*x(8)^5+6250000*x(1)^8*x(4)^2*x(6)^3*x(8)^5+78125000*x(1)^11*x(6)*x(8)^5+18750000*x(1)^8*x
(4)*x(6)^3*x(8)^5-6250000*x(1)^8*x(4)^2*x(6)^2*x(8)^4*x(9)+35156250*x(1)^10*x(4)^2*x(8)^4+23437500*x
(1)^8*x(6)^3*x(8)^5-18750000*x(1)^8*x(4)*x(6)^2*x(8)^4*x(9)+105468750*x(1)^10*x(4)*x(8)^4+1093750*x(
1)^7*x(4)^2*x(6)^2*x(8)^4-23437500*x(1)^8*x(6)^2*x(8)^4*x(9)+132812500*x(1)^10*x(8)^4+3281250*x(1)^7
*x(4)*x(6)^2*x(8)^4-1093750*x(1)^7*x(4)^2*x(6)*x(8)^3*x(9)+4062500*x(1)^7*x(6)^2*x(8)^4-3281250*x(1)
^7*x(4)*x(6)*x(8)^3*x(9)+187500*x(1)^6*x(4)^2*x(6)*x(8)^3-4062500*x(1)^7*x(6)*x(8)^3*x(9)+562500*x(1
)^6*x(4)*x(6)*x(8)^3+12500*x(1)^3*x(4)^2*x(6)^3*x(8)^3+687500*x(1)^6*x(6)*x(8)^3+37500*x(1)^3*x(4)*x
(6)^3*x(8)^3-12500*x(1)^3*x(4)^2*x(6)^2*x(8)^2*x(9)+93750*x(1)^5*x(4)^2*x(8)^2+40000*x(1)^3*x(6)^3*x
(8)^3-37500*x(1)^3*x(4)*x(6)^2*x(8)^2*x(9)+281250*x(1)^5*x(4)*x(8)^2+1500*x(1)^2*x(4)^2*x(6)^2*x(8)^
2-40000*x(1)^3*x(6)^2*x(8)^2*x(9)+312500*x(1)^5*x(8)^2+4500*x(1)^2*x(4)*x(6)^2*x(8)^2-1500*x(1)^2*x(
4)^2*x(6)*x(8)*x(9)+4500*x(1)^2*x(6)^2*x(8)^2-4500*x(1)^2*x(4)*x(6)*x(8)*x(9)+150*x(1)*x(4)^2*x(6)*x
(8)-4500*x(1)^2*x(6)*x(8)*x(9)+450*x(1)*x(4)*x(6)*x(8)+400*x(1)*x(6)*x(8)+10*x(4)^2+30*x(4)+20
0
732421875*x(1)^13*x(6)^3*x(8)^7-732421875*x(1)^13*x(6)^2*x(8)^6*x(9)+3662109375*x(1)^15*x(8)^6+14648
4375*x(1)^12*x(6)^2*x(8)^6-146484375*x(1)^12*x(6)*x(8)^5*x(9)+29296875*x(1)^11*x(6)*x(8)^5+6640625*x
(1)^8*x(6)^3*x(8)^5-6640625*x(1)^8*x(6)^2*x(8)^4*x(9)+39062500*x(1)^10*x(8)^4+1093750*x(1)^7*x(6)^2*
x(8)^4-1093750*x(1)^7*x(6)*x(8)^3*x(9)+171875*x(1)^6*x(6)*x(8)^3+1250*x(1)^3*x(6)^3*x(8)^3-1250*x(1)
^3*x(6)^2*x(8)^2*x(9)+31250*x(1)^5*x(8)^2-375*x(1)^2*x(6)^2*x(8)^2+375*x(1)^2*x(6)*x(8)*x(9)-125*x(1
)*x(6)*x(8)-20
0
c0
E,a
x(8)5/2
x(6)7/2
Blown up to:
45 46
x(9) x(6)
ID: 44 Parent: 24 Tree