ID: 117.0 Parent: 116.0 Tree
PDER
VAR\IND x15 x12 x14
x9 (-x10*(5*x9^2*x15^4*x14^4-
x12^2*x15^2*x14^2)+x14*x12
*x10+2*x12^2*x10*x15^2*x14
^2)*x14
2*x10*x12*x15^3*x14^3+x15*
x14^2*x10
x10*x15*x14*x12+x15*(-x10*
(5*x9^2*x15^4*x14^4-x12^2*
x15^2*x14^2)+x14*x12*x10+2
*x12^2*x10*x15^2*x14^2)
x10 (-10*x9*x15^4*x14^4*x10^2+
2*x10^3*x15^5*x14^5*(5*x9^
2*x15^4*x14^4-x12^2*x15^2*
x14^2)-2*x14^6*x12*x10^3*x
15^5-4*x12^2*x10^3*x15^7*x
14^7)*x14
-4*x12*x15^8*x14^8*x10^3-2
*x14^7*x10^3*x15^6
-2*x10^3*x15^6*x14^6*x12+x
15*(-10*x9*x15^4*x14^4*x10
^2+2*x10^3*x15^5*x14^5*(5*
x9^2*x15^4*x14^4-x12^2*x15
^2*x14^2)-2*x14^6*x12*x10^
3*x15^5-4*x12^2*x10^3*x15^
7*x14^7)
x12 0 1 0
x13 -(10*x9*x15^4*x14^4*x10^2-
2*x10^3*x15^5*x14^5*(5*x9^
2*x15^4*x14^4-x12^2*x15^2*
x14^2)+2*x14^6*x12*x10^3*x
15^5+4*x12^2*x10^3*x15^7*x
14^7)*x13^2*x14
-4*x12*x15^8*x14^8*x10^3*x
13^2-2*x14^7*x10^3*x15^6*x
13^2
-2*x10^3*x15^6*x14^6*x13^2
*x12-x15*(10*x9*x15^4*x14^
4*x10^2-2*x10^3*x15^5*x14^
5*(5*x9^2*x15^4*x14^4-x12^
2*x15^2*x14^2)+2*x14^6*x12
*x10^3*x15^5+4*x12^2*x10^3
*x15^7*x14^7)*x13^2
x14 0 0 1
x15 1 0 0
FOCUS
x15^18*x14^18*x9^6*x12^6-x9^4*x12^8*x15^16*x14^16+x15^13*x14^13*x9^5*x12^6
x12*x15^2*x14^2
x15*x14
5*x9^2*x15^4*x14^4-x12^2*x15^2*x14^2
-2*x12*x15^2*x14^2
x14*x12
x14
DEP
x10*(2*x9*x15^5*x14^5+1)-1
x14^2*x12*x15-x9^2*x15^5*x14^5+x12^2*x15^3*x14^3-x9
x13*(-x10-1)-1
MAP
x1 x9*x12*x15^3*x14^3
x2 x15^4*x14^4*x12^2*x9
x3 x9*x12*x15^2*x14^2
IMAP
x9 x3^2/x2
x10 x2*x3^3/(2*x1^5+x2*x3^3)
x12 x2/x1^2*x3
x13 -1/2*(2*x1^5+x2*x3^3)/(x1^5+x2*x3^3)
x14 (x1^6-x2^4+x1*x2*x3^3)/x2^3/x3
x15 x1/(x1^6-x2^4+x1*x2*x3^3)*x2^3
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
2*x15^12*x14^11*x13*x12*x9^2-2*x15^10*x14^9*x13*x12^3-4*x15^8*x14^8*x13*x12^2+2*x15^12*x14^11*x12*x9^2-2*x15^10*x14^9*x12^3-4*x15^8*x14^8*x12^2+2*x15^10*x14^10*x13*x9^2-2*x15^6*x14^7*x13*x12+2*x15^10*x14^10*x9^2-2*x15^6*x14^7*x12+x15^2*x12*x14+1 3
x15 12
x12 7
x14 15
C empty