ID: 30 Parent: 28 Tree
Blown up to:
62 63
x(13) x(14)
PDER
VAR\RSOP x(13) x(12) x(14)
x(1) x(4)*x(12)^5*x(14)^4 -25*x(1)^2*x(4)*x(12)^4*x(14)^4+5
*x(4)*x(12)^4*x(13)*x(14)^4-2*x(4
)*x(12)*x(14)^2
-20*x(1)^2*x(4)*x(12)^5*x(14)^3+4
*x(4)*x(12)^5*x(13)*x(14)^3-2*x(4
)*x(12)^2*x(14)
x(4) -10*x(4)^3*x(12)^10*x(14)^8 250*x(1)^2*x(4)^3*x(12)^9*x(14)^8
-50*x(4)^3*x(12)^9*x(13)*x(14)^8+
20*x(4)^3*x(12)^6*x(14)^6-50*x(1)
*x(4)^2*x(12)^4*x(14)^4
200*x(1)^2*x(4)^3*x(12)^10*x(14)^
7-40*x(4)^3*x(12)^10*x(13)*x(14)^
7+20*x(4)^3*x(12)^7*x(14)^5-40*x(
1)*x(4)^2*x(12)^5*x(14)^3
x(12) 0 1 0
x(13) 1 0 0
x(14) 0 0 1
DEP
-5*x(1)^2*x(12)^5*x(14)^4+x(12)^5*x(13)*x(14)^4-x(12)^2*x(14)^2+x(1)
10*x(1)*x(4)*x(12)^5*x(14)^4-x(4)-1
MAP
x(1)x(1)
x(2)x(12)^5*x(14)^4
x(3)x(12)*x(14)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(12)(x(2))/(x(3)^4)
x(14)(x(3)^5)/(x(2))
x(13)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2))
FOCUS
3*x(12)^2*x(14)^2-x(1)
-x(12)*x(14)
x(12)^4*x(13)*x(14)^3
x(12)^3*x(13)*x(14)^2
x(12)^2*x(13)*x(14)
x(12)^2*x(14)
x(12)*x(13)
x(12)
x(13)
STACK
WBO (dim: 3)
W 
J
-20*x(1)^2*x(12)^4*x(14)^4+4*x(12)^4*x(13)*x(14)^4-20*x(1)^3*x(12)^2*x(14)^2+4*x(1)*x(12)^2*x(13)*x(
14)^2+15*x(1)^4-8*x(1)^2*x(13)-4*x(12)*x(14)^2+x(13)^2
2
c1
E,a
x(14)0
x(12)0
TBO (dim: 3)
W 
J
-20*x(1)^2*x(12)^4*x(14)^4+4*x(12)^4*x(13)*x(14)^4-20*x(1)^3*x(12)^2*x(14)^2+4*x(1)*x(12)^2*x(13)*x(
14)^2+15*x(1)^4-8*x(1)^2*x(13)-4*x(12)*x(14)^2+x(13)^2
2
E
x(14)
x(12)
EM 
SBO (dim: 3)
W 
J
-20*x(1)^2*x(12)^4*x(14)^4+4*x(12)^4*x(13)*x(14)^4-20*x(1)^3*x(12)^2*x(14)^2+4*x(1)*x(12)^2*x(13)*x(
14)^2+15*x(1)^4-8*x(1)^2*x(13)-4*x(12)*x(14)^2+x(13)^2
2
E
x(14)
x(12)
WBO (dim: 2)
W
x(13)
J
156250*x(1)^9*x(4)^2*x(12)^24*x(14)^18+468750*x(1)^9*x(4)*x(12)^24*x(14)^18-31250*x(1)^7*x(4)^2*x(12
)^24*x(13)*x(14)^18+625000*x(1)^9*x(12)^24*x(14)^18-93750*x(1)^7*x(4)*x(12)^24*x(13)*x(14)^18-125000
*x(1)^7*x(12)^24*x(13)*x(14)^18+31250*x(1)^7*x(4)^2*x(12)^21*x(14)^16+93750*x(1)^7*x(4)*x(12)^21*x(1
4)^16+125000*x(1)^7*x(12)^21*x(14)^16+31250*x(1)^6*x(4)^2*x(12)^16*x(14)^12+93750*x(1)^6*x(4)*x(12)^
16*x(14)^12-5000*x(1)^4*x(4)^2*x(12)^16*x(13)*x(14)^12+112500*x(1)^6*x(12)^16*x(14)^12-15000*x(1)^4*
x(4)*x(12)^16*x(13)*x(14)^12-17500*x(1)^4*x(12)^16*x(13)*x(14)^12+5000*x(1)^4*x(4)^2*x(12)^13*x(14)^
10+15000*x(1)^4*x(4)*x(12)^13*x(14)^10+17500*x(1)^4*x(12)^13*x(14)^10+1500*x(1)^3*x(4)^2*x(12)^8*x(1
4)^6+4500*x(1)^3*x(4)*x(12)^8*x(14)^6-150*x(1)*x(4)^2*x(12)^8*x(13)*x(14)^6+4500*x(1)^3*x(12)^8*x(14
)^6-450*x(1)*x(4)*x(12)^8*x(13)*x(14)^6-400*x(1)*x(12)^8*x(13)*x(14)^6+150*x(1)*x(4)^2*x(12)^5*x(14)
^4+450*x(1)*x(4)*x(12)^5*x(14)^4+400*x(1)*x(12)^5*x(14)^4+10*x(4)^2+30*x(4)+20
0
234375*x(1)^9*x(12)^24*x(14)^18-46875*x(1)^7*x(12)^24*x(13)*x(14)^18+46875*x(1)^7*x(12)^21*x(14)^16+
25000*x(1)^6*x(12)^16*x(14)^12-3125*x(1)^4*x(12)^16*x(13)*x(14)^12+3125*x(1)^4*x(12)^13*x(14)^10-375
*x(1)^3*x(12)^8*x(14)^6+125*x(1)*x(12)^8*x(13)*x(14)^6-125*x(1)*x(12)^5*x(14)^4-20
0
c0
E,a
x(14)1
x(12)1/2
Blown up to:
62 63
x(13) x(14)
ID: 30 Parent: 28 Tree