ID: 47 Parent: 46 Tree
PDER
VAR\RSOP x(10) x(8) x(11)
x(1) -4*x(4)*x(8)^2*x(10)^3*x(11)^4+5*
x(4)*x(8)*x(10)^4*x(11)^4-5*x(1)^
2*x(4)*x(8)*x(11)
-2*x(4)*x(8)*x(10)^4*x(11)^4+x(4)
*x(10)^5*x(11)^4-5*x(1)^2*x(4)*x(
10)*x(11)
-4*x(4)*x(8)^2*x(10)^4*x(11)^3+4*
x(4)*x(8)*x(10)^5*x(11)^3-5*x(1)^
2*x(4)*x(8)*x(10)
x(4) 40*x(4)^3*x(8)^3*x(10)^4*x(11)^5-
50*x(4)^3*x(8)^2*x(10)^5*x(11)^5+
50*x(1)^2*x(4)^3*x(8)^2*x(10)*x(1
1)^2-10*x(1)*x(4)^2*x(8)*x(11)
20*x(4)^3*x(8)^2*x(10)^5*x(11)^5-
10*x(4)^3*x(8)*x(10)^6*x(11)^5+50
*x(1)^2*x(4)^3*x(8)*x(10)^2*x(11)
^2-10*x(1)*x(4)^2*x(10)*x(11)
40*x(4)^3*x(8)^3*x(10)^5*x(11)^4-
40*x(4)^3*x(8)^2*x(10)^6*x(11)^4+
50*x(1)^2*x(4)^3*x(8)^2*x(10)^2*x
(11)-10*x(1)*x(4)^2*x(8)*x(10)
x(8) 0 1 0
x(10) 1 0 0
x(11) 0 0 1
DEP
-x(8)^2*x(10)^4*x(11)^4+x(8)*x(10)^5*x(11)^4-5*x(1)^2*x(8)*x(10)*x(11)+x(1)
10*x(1)*x(4)*x(8)*x(10)*x(11)-x(4)-1
MAP
x(1)x(1)
x(2)x(8)*x(10)*x(11)
x(3)x(8)*x(10)^2*x(11)^2
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2)^2)/(x(3))
x(10)(x(1)^2*x(2)^3+x(2)^2*x(3)^2+x(1)*x(2)^2)/(x(3)^3)
x(11)(x(3)^4)/(x(1)^2*x(2)^4+x(2)^3*x(3)^2+x(1)*x(2)^3)
FOCUS
3*x(8)^2*x(10)^4*x(11)^4-x(1)
-x(8)*x(10)^2*x(11)^2
x(10)^4*x(11)^3
x(10)*x(11)
x(10)^3*x(11)^2
x(10)^2*x(11)
x(10)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
1171875*x(1)^10*x(8)^9*x(10)^3*x(11)^5-1171875*x(1)^10*x(8)^8*x(10)^4*x(11)^5+234375*x(1)^9*x(8)^8*x
(10)^2*x(11)^4-234375*x(1)^9*x(8)^7*x(10)^3*x(11)^4+5859375*x(1)^12*x(8)^8*x(11)^2+5000*x(1)^5*x(8)^
7*x(10)^3*x(11)^5-5000*x(1)^5*x(8)^6*x(10)^4*x(11)^5+46875*x(1)^8*x(8)^7*x(10)*x(11)^3-46875*x(1)^8*
x(8)^6*x(10)^2*x(11)^3+625*x(1)^4*x(8)^6*x(10)^2*x(11)^4-2750*x(1)^4*x(8)^5*x(10)^3*x(11)^4+2125*x(1
)^4*x(8)^4*x(10)^4*x(11)^4+34375*x(1)^7*x(8)^6*x(11)^2-9375*x(1)^7*x(8)^5*x(10)*x(11)^2-4*x(8)^5*x(1
0)^3*x(11)^5+4*x(8)^4*x(10)^4*x(11)^5+50*x(1)^3*x(8)^5*x(10)*x(11)^3-400*x(1)^3*x(8)^4*x(10)^2*x(11)
^3+350*x(1)^3*x(8)^3*x(10)^3*x(11)^3-12500*x(1)^6*x(8)^4*x(11)-25*x(1)^2*x(8)^4*x(11)^2-50*x(1)^2*x(
8)^3*x(10)*x(11)^2+55*x(1)^2*x(8)^2*x(10)^2*x(11)^2-4*x(1)*x(8)^2*x(11)+8*x(1)*x(8)*x(10)*x(11)+1
0
c0
E,a
x(8)0
x(11)0
x(10)0