ID: 20.0 Parent: 19.0 Tree
PDER
VAR\IND x13 x14 x11
x1 x11*x9*x14*x13+x14*(-x9*(6
*x14^5*x13^5*x1^7-x14*x13*
x11)+x9*x13*x11+x11*x9*x14
*x13)
(-x9*(6*x14^5*x13^5*x1^7-x
14*x13*x11)+x9*x13*x11+x11
*x9*x14*x13)*x13
x9*x14^2*x13^2+x14*x13^2*x
9
x9 -42*x11*x9^3*x14^7*x13^7*x
1^5+x14*(-42*x14^5*x13^5*x
1^6*x9^2+42*x9^3*x14^6*x13
^6*x1^5*(6*x14^5*x13^5*x1^
7-x14*x13*x11)-42*x13^7*x1
1*x9^3*x14^6*x1^5-42*x11*x
9^3*x14^7*x13^7*x1^5)
(-42*x14^5*x13^5*x1^6*x9^2
+42*x9^3*x14^6*x13^6*x1^5*
(6*x14^5*x13^5*x1^7-x14*x1
3*x11)-42*x13^7*x11*x9^3*x
14^6*x1^5-42*x11*x9^3*x14^
7*x13^7*x1^5)*x13
-42*x14^8*x13^8*x9^3*x1^5-
42*x13^8*x9^3*x14^7*x1^5
x11 0 0 1
x12 -252*x9^3*x14^7*x13^7*x1^5
*x12^2*x11-x14*(252*x14^5*
x13^5*x1^6*x9^2-252*x9^3*x
14^6*x13^6*x1^5*(6*x14^5*x
13^5*x1^7-x14*x13*x11)+252
*x13^7*x11*x9^3*x14^6*x1^5
+252*x11*x9^3*x14^7*x13^7*
x1^5)*x12^2
-(252*x14^5*x13^5*x1^6*x9^
2-252*x9^3*x14^6*x13^6*x1^
5*(6*x14^5*x13^5*x1^7-x14*
x13*x11)+252*x13^7*x11*x9^
3*x14^6*x1^5+252*x11*x9^3*
x14^7*x13^7*x1^5)*x12^2*x1
3
-252*x14^8*x13^8*x9^3*x1^5
*x12^2-252*x13^8*x9^3*x14^
7*x1^5*x12^2
x13 1 0 0
x14 0 1 0
FOCUS
x1^6+x14^6*x13^6*x1^12-x1^5*x14^2*x13^2*x11
x14*x13
x14*x13*x11
x13*x11
x13
DEP
x9*(7*x14^6*x13^6*x1^6+1)-1
x13^2*x11*x14-x14^6*x13^6*x1^7+x14^2*x13^2*x11-x1
x12*(-6*x9-1)-1
MAP
x1 x1
x2 x14*x13*x1^2
x3 x14*x13*x11*x1^2
IMAP
x1 x1
x9 x1^6/(7*x2^6+x1^6)
x11 x3/x2
x12 -1/7*(7*x2^6+x1^6)/(x1^6+x2^6)
x13 -1/x1^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*x1^12-7/6*x14^9*x13^8*x12*x1^5*x11-7/3*x14^8*x13^8*x12*x1^5*x11+7/6*x14^12*x13^12*x12*x1^12-7/6*x14^7*x13^8*x12*x1^5*x11+7/6*x14^13*x13^12*x1^12-7/6*x14^9*x13^8*x1^5*x11-7/3*x14^8*x13^8*x1^5*x11+7/6*x14^12*x13^12*x1^12-7/6*x14^7*x13^8*x1^5*x11+x14+1 3
x14 3
x11 3
x13 6
C empty