ID: 152.0 Parent: 151.0 Tree
PDER
VAR\IND x11 x12 x13
x5 -x9*(6*x11^5*x13^7*x12^7*x
5^5+x13*x12)*x13*x12+x13*x
9*x12^2 		x11*x9*x13*x12+x13*(-x9*(2
*x11^6*x13^7*x12^7*x5^5+x1
1*x12*x13)+x11*x9*x12-x11*
x9*(6*x11^5*x13^7*x12^7*x5
^5+x13*x12)) 		(-x9*(2*x11^6*x13^7*x12^7*
x5^5+x11*x12*x13)+x11*x9*x
12-x11*x9*(6*x11^5*x13^7*x
12^7*x5^5+x13*x12))*x12
x9 (-30*x11^5*x13^7*x12^7*x5^
4*x9^2+20*x9^3*x11^6*x13^8
*x12^8*x5^3*(6*x11^5*x13^7
*x12^7*x5^5+x13*x12))*x13*
x12-20*x12^10*x9^3*x11^6*x
13^9*x5^3 		-20*x9^3*x11^7*x13^9*x12^9
*x5^3+x13*(-10*x11^6*x13^7
*x12^7*x5^4*x9^2+20*x9^3*x
11^6*x13^8*x12^8*x5^3*(2*x
11^6*x13^7*x12^7*x5^5+x11*
x12*x13)-20*x12^9*x11^7*x9
^3*x13^8*x5^3+x11*(-30*x11
^5*x13^7*x12^7*x5^4*x9^2+2
0*x9^3*x11^6*x13^8*x12^8*x
5^3*(6*x11^5*x13^7*x12^7*x
5^5+x13*x12))) 		(-10*x11^6*x13^7*x12^7*x5^
4*x9^2+20*x9^3*x11^6*x13^8
*x12^8*x5^3*(2*x11^6*x13^7
*x12^7*x5^5+x11*x12*x13)-2
0*x12^9*x11^7*x9^3*x13^8*x
5^3+x11*(-30*x11^5*x13^7*x
12^7*x5^4*x9^2+20*x9^3*x11
^6*x13^8*x12^8*x5^3*(6*x11
^5*x13^7*x12^7*x5^5+x13*x1
2)))*x12
x11 1 0 0
x12 0 1 0
x13 0 0 1
FOCUS
x13^12*x12^12*x5^12*x11^6-x13^4*x12^4*x5^8+x11*x13^6*x12^6*x5^7
x5
x13*x12*x11*x5
x11*x12*x13
6*x11^5*x13^7*x12^7*x5^5+x13*x12
x12*x11
x11
x12
DEP
x9*(5*x11^6*x13^8*x12^8*x5^4-1)-1
x12^2*x11*x13-x11^6*x13^8*x12^8*x5^5-x11*x13^2*x12^2+x5
MAP
x1 x13^2*x12^2*x11*x5^2
x2 x5^2*x13*x12
x3 x13*x12*x5
IMAP
x5 x2/x3
x9 -x2^4/(-5*x1^6+x2^4)
x11 x1/x3^2
x12 1/x2^2*(x1^6-x2^4+x1*x2*x3^3)/x1/x3
x13 x3^3*x2*x1/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
x11^17*x13^23*x12^22*x5^13+2*x11^12*x13^17*x12^16*x5^8-2*x11^12*x13^16*x12^16*x5^8+x11^7*x13^11*x12^10*x5^3-2*x11^7*x13^10*x12^10*x5^3+x11^7*x13^9*x12^10*x5^3+x13-1 5
x13 8
x11 5
x12 13
C empty