ID: 17 Parent: 15 Tree
PDER
VAR\RSOP x(9) x(8) x(11)
x(1) -10*x(1)^2*x(4)*x(8)^3*x(9)*x(11)
^2+3*x(4)*x(8)^3*x(9)^2*x(11)^2-2
*x(4)*x(8)^2*x(9)*x(11)^2
-15*x(1)^2*x(4)*x(8)^2*x(9)^2*x(1
1)^2+3*x(4)*x(8)^2*x(9)^3*x(11)^2
-2*x(4)*x(8)*x(9)^2*x(11)^2
-10*x(1)^2*x(4)*x(8)^3*x(9)^2*x(1
1)+2*x(4)*x(8)^3*x(9)^3*x(11)-2*x
(4)*x(8)^2*x(9)^2*x(11)
x(4) 100*x(1)^2*x(4)^3*x(8)^6*x(9)^3*x
(11)^4-30*x(4)^3*x(8)^6*x(9)^4*x(
11)^4+20*x(4)^3*x(8)^5*x(9)^3*x(1
1)^4-20*x(1)*x(4)^2*x(8)^3*x(9)*x
(11)^2
150*x(1)^2*x(4)^3*x(8)^5*x(9)^4*x
(11)^4-30*x(4)^3*x(8)^5*x(9)^5*x(
11)^4+20*x(4)^3*x(8)^4*x(9)^4*x(1
1)^4-30*x(1)*x(4)^2*x(8)^2*x(9)^2
*x(11)^2
100*x(1)^2*x(4)^3*x(8)^6*x(9)^4*x
(11)^3-20*x(4)^3*x(8)^6*x(9)^5*x(
11)^3+20*x(4)^3*x(8)^5*x(9)^4*x(1
1)^3-20*x(1)*x(4)^2*x(8)^3*x(9)^2
*x(11)
x(8) 0 1 0
x(9) 1 0 0
x(11) 0 0 1
DEP
-5*x(1)^2*x(8)^3*x(9)^2*x(11)^2+x(8)^3*x(9)^3*x(11)^2-x(8)^2*x(9)^2*x(11)^2+x(1)
10*x(1)*x(4)*x(8)^3*x(9)^2*x(11)^2-x(4)-1
MAP
x(1)x(1)
x(2)x(8)^3*x(9)^2*x(11)^2
x(3)x(8)*x(9)*x(11)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2))/(x(3)^2)
x(9)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2))
x(11)(x(3)^3)/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(8)^2*x(9)^2*x(11)^2-x(1)
-x(8)*x(9)*x(11)
x(8)^2*x(9)^2*x(11)
x(8)*x(9)
x(9)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
75*x(1)^5*x(8)^3*x(11)^2-55*x(1)^3*x(8)^3*x(9)*x(11)^2+8*x(1)*x(8)^3*x(9)^2*x(11)^2-5*x(1)^3*x(8)^2*
x(11)^2-4*x(1)*x(8)^2*x(9)*x(11)^2-4*x(1)*x(8)*x(11)^2+1
0
c0
E,a
x(11)0
x(8)0
x(9)0