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