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