ID: 40 Parent: 38 Tree
Blown up to:
41 42
x(11) x(6)
PDER
VAR\RSOP x(11) x(6) x(8)
x(1) x(4)*x(6)^3*x(8)^3 3*x(4)*x(6)^2*x(8)^3*x(11)-10*x(1
)^2*x(4)*x(6)*x(8)-2*x(4)*x(6)*x(
8)^2
3*x(4)*x(6)^3*x(8)^2*x(11)-5*x(1)
^2*x(4)*x(6)^2-2*x(4)*x(6)^2*x(8)
x(4) -10*x(4)^3*x(6)^5*x(8)^4 -30*x(4)^3*x(6)^4*x(8)^4*x(11)+10
0*x(1)^2*x(4)^3*x(6)^3*x(8)^2+20*
x(4)^3*x(6)^3*x(8)^3-20*x(1)*x(4)
^2*x(6)*x(8)
-30*x(4)^3*x(6)^5*x(8)^3*x(11)+50
*x(1)^2*x(4)^3*x(6)^4*x(8)+20*x(4
)^3*x(6)^4*x(8)^2-10*x(1)*x(4)^2*
x(6)^2
x(6) 0 1 0
x(8) 0 0 1
x(11) 1 0 0
DEP
x(6)^3*x(8)^3*x(11)-5*x(1)^2*x(6)^2*x(8)-x(6)^2*x(8)^2+x(1)
10*x(1)*x(4)*x(6)^2*x(8)-x(4)-1
MAP
x(1)x(1)
x(2)x(6)^2*x(8)
x(3)x(6)*x(8)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(6)(x(2))/(x(3))
x(8)(x(3)^2)/(x(2))
x(11)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^3)
FOCUS
3*x(6)^2*x(8)^2-x(1)
-x(6)*x(8)
x(6)^2*x(8)^2*x(11)
x(6)*x(8)^2*x(11)
x(8)
x(6)*x(8)*x(11)
x(8)*x(11)
x(11)
STACK
WBO (dim: 3)
W 
J
-1875*x(1)^6*x(6)^7*x(8)^2*x(11)+9375*x(1)^8*x(6)^6+1875*x(1)^6*x(6)^6*x(8)-375*x(1)^5*x(6)^5*x(8)*x
(11)-50*x(1)^3*x(6)^5*x(8)^2*x(11)+55*x(1)^2*x(6)^4*x(8)^2*x(11)^2+625*x(1)^5*x(6)^4+50*x(1)^3*x(6)^
4*x(8)-350*x(1)^4*x(6)^3*x(11)-50*x(1)^2*x(6)^3*x(8)*x(11)+4*x(6)^3*x(8)^2*x(11)+8*x(1)*x(6)^2*x(8)*
x(11)^2-25*x(1)^2*x(6)^2-4*x(6)^2*x(8)-4*x(1)*x(6)*x(11)+x(11)^2
2
c1
E,a
x(6)0
x(8)0
TBO (dim: 3)
W 
J
-1875*x(1)^6*x(6)^7*x(8)^2*x(11)+9375*x(1)^8*x(6)^6+1875*x(1)^6*x(6)^6*x(8)-375*x(1)^5*x(6)^5*x(8)*x
(11)-50*x(1)^3*x(6)^5*x(8)^2*x(11)+55*x(1)^2*x(6)^4*x(8)^2*x(11)^2+625*x(1)^5*x(6)^4+50*x(1)^3*x(6)^
4*x(8)-350*x(1)^4*x(6)^3*x(11)-50*x(1)^2*x(6)^3*x(8)*x(11)+4*x(6)^3*x(8)^2*x(11)+8*x(1)*x(6)^2*x(8)*
x(11)^2-25*x(1)^2*x(6)^2-4*x(6)^2*x(8)-4*x(1)*x(6)*x(11)+x(11)^2
2
E
x(6)
x(8)
EM 
SBO (dim: 3)
W 
J
-1875*x(1)^6*x(6)^7*x(8)^2*x(11)+9375*x(1)^8*x(6)^6+1875*x(1)^6*x(6)^6*x(8)-375*x(1)^5*x(6)^5*x(8)*x
(11)-50*x(1)^3*x(6)^5*x(8)^2*x(11)+55*x(1)^2*x(6)^4*x(8)^2*x(11)^2+625*x(1)^5*x(6)^4+50*x(1)^3*x(6)^
4*x(8)-350*x(1)^4*x(6)^3*x(11)-50*x(1)^2*x(6)^3*x(8)*x(11)+4*x(6)^3*x(8)^2*x(11)+8*x(1)*x(6)^2*x(8)*
x(11)^2-25*x(1)^2*x(6)^2-4*x(6)^2*x(8)-4*x(1)*x(6)*x(11)+x(11)^2
2
E
x(6)
x(8)
WBO (dim: 2)
W
x(11)
J
-31250*x(1)^7*x(4)^2*x(6)^7*x(8)^2*x(11)-93750*x(1)^7*x(4)*x(6)^7*x(8)^2*x(11)+156250*x(1)^9*x(4)^2*
x(6)^6-125000*x(1)^7*x(6)^7*x(8)^2*x(11)+468750*x(1)^9*x(4)*x(6)^6+31250*x(1)^7*x(4)^2*x(6)^6*x(8)+6
25000*x(1)^9*x(6)^6+93750*x(1)^7*x(4)*x(6)^6*x(8)+125000*x(1)^7*x(6)^6*x(8)-5000*x(1)^4*x(4)^2*x(6)^
5*x(8)^2*x(11)-15000*x(1)^4*x(4)*x(6)^5*x(8)^2*x(11)+31250*x(1)^6*x(4)^2*x(6)^4-17500*x(1)^4*x(6)^5*
x(8)^2*x(11)+93750*x(1)^6*x(4)*x(6)^4+5000*x(1)^4*x(4)^2*x(6)^4*x(8)+112500*x(1)^6*x(6)^4+15000*x(1)
^4*x(4)*x(6)^4*x(8)+17500*x(1)^4*x(6)^4*x(8)-150*x(1)*x(4)^2*x(6)^3*x(8)^2*x(11)-450*x(1)*x(4)*x(6)^
3*x(8)^2*x(11)+1500*x(1)^3*x(4)^2*x(6)^2-400*x(1)*x(6)^3*x(8)^2*x(11)+4500*x(1)^3*x(4)*x(6)^2+150*x(
1)*x(4)^2*x(6)^2*x(8)+4500*x(1)^3*x(6)^2+450*x(1)*x(4)*x(6)^2*x(8)+400*x(1)*x(6)^2*x(8)+10*x(4)^2+30
*x(4)+20
0
-46875*x(1)^7*x(6)^7*x(8)^2*x(11)+234375*x(1)^9*x(6)^6+46875*x(1)^7*x(6)^6*x(8)-3125*x(1)^4*x(6)^5*x
(8)^2*x(11)+25000*x(1)^6*x(6)^4+3125*x(1)^4*x(6)^4*x(8)+125*x(1)*x(6)^3*x(8)^2*x(11)-375*x(1)^3*x(6)
^2-125*x(1)*x(6)^2*x(8)-20
0
c0
E,a
x(6)1
x(8)1/2
Blown up to:
41 42
x(11) x(6)
ID: 40 Parent: 38 Tree