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