ID: 13 Parent: 9 Tree
Blown up to:
35 36
x(7) x(8)
PDER
VAR\RSOP x(7) x(6) x(8)
x(1) x(4)*x(6)^2*x(8) -10*x(1)^2*x(4)*x(6)*x(8)+2*x(4)*
x(6)*x(7)*x(8)-2*x(4)*x(6)*x(8)^2
-5*x(1)^2*x(4)*x(6)^2+x(4)*x(6)^2
*x(7)-2*x(4)*x(6)^2*x(8)
x(4) -10*x(4)^3*x(6)^4*x(8)^2 100*x(1)^2*x(4)^3*x(6)^3*x(8)^2-2
0*x(4)^3*x(6)^3*x(7)*x(8)^2+20*x(
4)^3*x(6)^3*x(8)^3-20*x(1)*x(4)^2
*x(6)*x(8)
50*x(1)^2*x(4)^3*x(6)^4*x(8)-10*x
(4)^3*x(6)^4*x(7)*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(7) 1 0 0
x(8) 0 0 1
DEP
-5*x(1)^2*x(6)^2*x(8)+x(6)^2*x(7)*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(7)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2))
FOCUS
3*x(6)^2*x(8)^2-x(1)
-x(6)*x(8)
x(6)*x(7)
x(7)
x(8)
STACK
WBO (dim: 3)
W 
J
15*x(1)^4-8*x(1)^2*x(7)-4*x(1)^2*x(8)+x(7)^22
c1
E,a
x(8)0
x(6)0
TBO (dim: 3)
W 
J
15*x(1)^4-8*x(1)^2*x(7)-4*x(1)^2*x(8)+x(7)^22
E
x(8)
x(6)
EM 
SBO (dim: 3)
W 
J
15*x(1)^4-8*x(1)^2*x(7)-4*x(1)^2*x(8)+x(7)^22
E
x(8)
x(6)
WBO (dim: 2)
W
x(7)
J
156250*x(1)^9*x(4)^2*x(6)^6+468750*x(1)^9*x(4)*x(6)^6-31250*x(1)^7*x(4)^2*x(6)^6*x(7)+31250*x(1)^7*x
(4)^2*x(6)^6*x(8)+625000*x(1)^9*x(6)^6-93750*x(1)^7*x(4)*x(6)^6*x(7)+93750*x(1)^7*x(4)*x(6)^6*x(8)-1
25000*x(1)^7*x(6)^6*x(7)+125000*x(1)^7*x(6)^6*x(8)+31250*x(1)^6*x(4)^2*x(6)^4+93750*x(1)^6*x(4)*x(6)
^4-5000*x(1)^4*x(4)^2*x(6)^4*x(7)+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(7)+15000*x(1)^4*x(4)*x(6)^4*x(8)-17500*x(1)^4*x(6)^4*x(7)+17500*x(1)^4*x(6)^4*x(8)+1500
*x(1)^3*x(4)^2*x(6)^2+4500*x(1)^3*x(4)*x(6)^2-150*x(1)*x(4)^2*x(6)^2*x(7)+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(7)+450*x(1)*x(4)*x(6)^2*x(8)-400*x(1)*x(6)^2*x(7)+400*x(
1)*x(6)^2*x(8)+10*x(4)^2+30*x(4)+20
0
234375*x(1)^9*x(6)^6-46875*x(1)^7*x(6)^6*x(7)+46875*x(1)^7*x(6)^6*x(8)+25000*x(1)^6*x(6)^4-3125*x(1)
^4*x(6)^4*x(7)+3125*x(1)^4*x(6)^4*x(8)-375*x(1)^3*x(6)^2+125*x(1)*x(6)^2*x(7)-125*x(1)*x(6)^2*x(8)-2
0
0
c0
E,a
x(8)5/2
x(6)2
Blown up to:
35 36
x(7) x(8)
ID: 13 Parent: 9 Tree