ID: 153.0 Parent: 151.0 Tree
Blown up to:
154.0
x13
PDER
VAR\IND x11 x13 x8
x5 -x9*(6*x11^5*x8^7*x5^5+x8)
*x8+x8^2*x13*x9
x9*x11*x8^2 -x9*(2*x11^6*x8^7*x5^5+x11
*x8)+2*x13*x8*x11*x9-x11*x
9*(6*x11^5*x8^7*x5^5+x8)
x8 0 0 1
x9 (-30*x11^5*x8^7*x5^4*x9^2+
20*x9^3*x11^6*x8^8*x5^3*(6
*x11^5*x8^7*x5^5+x8))*x8-2
0*x8^10*x13*x9^3*x11^6*x5^
3
-20*x9^3*x11^7*x8^10*x5^3 -10*x11^6*x8^7*x5^4*x9^2+2
0*x9^3*x11^6*x8^8*x5^3*(2*
x11^6*x8^7*x5^5+x11*x8)-40
*x13*x9^3*x11^7*x8^9*x5^3+
x11*(-30*x11^5*x8^7*x5^4*x
9^2+20*x9^3*x11^6*x8^8*x5^
3*(6*x11^5*x8^7*x5^5+x8))
x11 1 0 0
x13 0 1 0
FOCUS
x11^6*x8^12*x5^12-x5^8*x8^4+x11*x8^6*x5^7
x5
x11*x8*x5
x11*x8
6*x11^5*x8^7*x5^5+x8
x8*x13*x11
x11
x8*x13
x13
DEP
x9*(5*x11^6*x8^8*x5^4-1)-1
x8^2*x13*x11-x11^6*x8^8*x5^5-x11*x8^2+x5
MAP
x1 x8^2*x5^2*x11
x2 x5^2*x8
x3 x8*x5
IMAP
x5 x2/x3
x8 x3^2/x2
x9 -x2^4/(-5*x1^6+x2^4)
x11 x1/x3^2
x13 1/x2*(x1^6-x2^4+x1*x2*x3^3)/x3^3/x1
STACK
WBO (dim: 3)
J
x13 1
c 1
Nempty
(E,a)
Ea
x11^17*x8^22*x5^13-2*x11^12*x8^16*x5^8*x13+2*x11^12*x8^16*x5^8+x11^7*x8^10*x13^2*x5^3-2*x11^7*x8^10*x13*x5^3+x11^7*x8^10*x5^3-x13+1 5
x11 5
x8 13
C empty
TBO (dim: 3)
J
x13 1
Nempty
E
x11^17*x8^22*x5^13-2*x11^12*x8^16*x5^8*x13+2*x11^12*x8^16*x5^8+x11^7*x8^10*x13^2*x5^3-2*x11^7*x8^10*x13*x5^3+x11^7*x8^10*x5^3-x13+1
x11
x8
EM
x11^17*x8^22*x5^13-2*x11^12*x8^16*x5^8*x13+2*x11^12*x8^16*x5^8+x11^7*x8^10*x13^2*x5^3-2*x11^7*x8^10*x13*x5^3+x11^7*x8^10*x5^3-x13+1
C empty
SBO (dim: 3)
J
x13 1
Nempty
Hempty
E
x11
x8
C empty
Blown up to:
154.0
x13
ID: 153.0 Parent: 151.0 Tree