ID: 44.0 Parent: 43.0 Tree
PDER
VAR\IND x14 x13 x11
x2 (-x9*(6*x14^5*x13^5*x2^7-x
14*x13*x11)+x9*x13*x11+x11
*x9*x14*x13)*x13
x11*x9*x14*x13+x14*(-x9*(6
*x14^5*x13^5*x2^7-x14*x13*
x11)+x9*x13*x11+x11*x9*x14
*x13)
x9*x14^2*x13^2+x14*x13^2*x
9
x9 (-42*x14^5*x13^5*x2^6*x9^2
+42*x9^3*x14^6*x13^6*x2^5*
(6*x14^5*x13^5*x2^7-x14*x1
3*x11)-42*x13^7*x11*x9^3*x
14^6*x2^5-42*x11*x9^3*x14^
7*x13^7*x2^5)*x13
-42*x11*x9^3*x14^7*x13^7*x
2^5+x14*(-42*x14^5*x13^5*x
2^6*x9^2+42*x9^3*x14^6*x13
^6*x2^5*(6*x14^5*x13^5*x2^
7-x14*x13*x11)-42*x13^7*x1
1*x9^3*x14^6*x2^5-42*x11*x
9^3*x14^7*x13^7*x2^5)
-42*x14^8*x13^8*x9^3*x2^5-
42*x13^8*x9^3*x14^7*x2^5
x11 0 0 1
x12 -(252*x14^5*x13^5*x2^6*x9^
2-252*x9^3*x14^6*x13^6*x2^
5*(6*x14^5*x13^5*x2^7-x14*
x13*x11)+252*x13^7*x11*x9^
3*x14^6*x2^5+252*x11*x9^3*
x14^7*x13^7*x2^5)*x12^2*x1
3
-252*x9^3*x14^7*x13^7*x2^5
*x12^2*x11-x14*(252*x14^5*
x13^5*x2^6*x9^2-252*x9^3*x
14^6*x13^6*x2^5*(6*x14^5*x
13^5*x2^7-x14*x13*x11)+252
*x13^7*x11*x9^3*x14^6*x2^5
+252*x11*x9^3*x14^7*x13^7*
x2^5)*x12^2
-252*x14^8*x13^8*x9^3*x2^5
*x12^2-252*x13^8*x9^3*x14^
7*x2^5*x12^2
x13 0 1 0
x14 1 0 0
FOCUS
x14^6*x13^6*x2^12+x2^6-x14^2*x13^2*x2^5*x11
x14*x13*x2
x14*x13
x14*x13*x11
6*x14^5*x13^5*x2^7-x14*x13*x11
x13*x11
x13
DEP
x9*(7*x14^6*x13^6*x2^6+1)-1
x13^2*x11*x14-x14^6*x13^6*x2^7+x14^2*x13^2*x11-x2
x12*(-6*x9-1)-1
MAP
x1 x14*x13*x2^2
x2 x2
x3 x14*x13*x11*x2^2
IMAP
x2 x2
x9 x2^6/(7*x1^6+x2^6)
x11 x3/x1
x12 -1/7*(7*x1^6+x2^6)/(x1^6+x2^6)
x13 -1/x2^3*(-x1^6-x2^6+x1*x2*x3)/x3
x14 -x2*x1/(-x1^6-x2^6+x1*x2*x3)*x3
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
7/6*x14^13*x13^12*x12*x2^12-7/6*x14^9*x13^8*x12*x2^5*x11-7/3*x14^8*x13^8*x12*x2^5*x11+7/6*x14^12*x13^12*x12*x2^12-7/6*x14^7*x13^8*x12*x2^5*x11+7/6*x14^13*x13^12*x2^12-7/6*x14^9*x13^8*x2^5*x11-7/3*x14^8*x13^8*x2^5*x11+7/6*x14^12*x13^12*x2^12-7/6*x14^7*x13^8*x2^5*x11+x14+1 3
x14 3
x11 3
x13 6
C empty