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