ID: 22 Parent: 20 Tree
PDER
VAR\RSOP x(13) x(8) x(10)
x(1) x(4)*x(8)^4*x(10)^4 4*x(4)*x(8)^3*x(10)^4*x(13)-15*x(
1)^2*x(4)*x(8)^2*x(10)^2-2*x(4)*x
(8)*x(10)^2
4*x(4)*x(8)^4*x(10)^3*x(13)-10*x(
1)^2*x(4)*x(8)^3*x(10)-2*x(4)*x(8
)^2*x(10)
x(4) -10*x(4)^3*x(8)^7*x(10)^6 -40*x(4)^3*x(8)^6*x(10)^6*x(13)+1
50*x(1)^2*x(4)^3*x(8)^5*x(10)^4+2
0*x(4)^3*x(8)^4*x(10)^4-30*x(1)*x
(4)^2*x(8)^2*x(10)^2
-40*x(4)^3*x(8)^7*x(10)^5*x(13)+1
00*x(1)^2*x(4)^3*x(8)^6*x(10)^3+2
0*x(4)^3*x(8)^5*x(10)^3-20*x(1)*x
(4)^2*x(8)^3*x(10)
x(8) 0 1 0
x(10) 0 0 1
x(13) 1 0 0
DEP
x(8)^4*x(10)^4*x(13)-5*x(1)^2*x(8)^3*x(10)^2-x(8)^2*x(10)^2+x(1)
10*x(1)*x(4)*x(8)^3*x(10)^2-x(4)-1
MAP
x(1)x(1)
x(2)x(8)^3*x(10)^2
x(3)x(8)*x(10)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2))/(x(3)^2)
x(10)(x(3)^3)/(x(2))
x(13)(x(1)^2*x(2)+x(3)^2+x(1))/(x(3)^4)
FOCUS
3*x(8)^2*x(10)^2-x(1)
-x(8)*x(10)
x(8)^3*x(10)^3*x(13)
x(8)^2*x(10)^2*x(13)
x(8)*x(10)^2*x(13)
x(8)*x(10)*x(13)
x(10)*x(13)
x(13)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-75*x(1)^4*x(8)^5*x(10)^2*x(13)+375*x(1)^6*x(8)^4+5*x(1)^2*x(8)^4*x(10)^2*x(13)+8*x(1)*x(8)^3*x(10)^
2*x(13)^2+50*x(1)^4*x(8)^3-55*x(1)^3*x(8)^2*x(13)+4*x(8)^3*x(10)^2*x(13)-25*x(1)^2*x(8)^2-4*x(1)*x(8
)*x(13)+x(13)^2-4*x(8)
0
c0
E,a
x(8)0
x(10)0