ID: 146.0 Parent: 143.0 Tree
Blown up to:
147.0 148.0
x12 x7
PDER
VAR\IND x7 x12 x11
x5 -x9*(6*x7^7*x11^2*x5^5+x7*
x11)+x11*x9*x12-x11*x9*(2*
x7^7*x11*x5^5+x7)
x11*x9*x7 -x9*(2*x7^7*x11*x5^5+x7)*x
7+x12*x9*x7
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)-20
*x12*x11^3*x9^3*x7^8*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^9*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*x1
2*x9^3*x7^9*x11^2*x5^3
x11 0 0 1
x12 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
x12*x11
x12
DEP
x9*(5*x7^8*x11^2*x5^4-1)-1
x12*x11*x7-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
x12 1/x2^2*(x1^6-x2^4+x1*x2*x3^3)/x3^3
STACK
WBO (dim: 3)
J
x12 1
c 1
Nempty
(E,a)
Ea
x7^15*x11^3*x5^9+x7^9*x11^2*x5^4-x7^8*x11^2*x5^4*x12+x7-x12 5
x7 8
x11 8
C empty
TBO (dim: 3)
J
x12 1
Nempty
E
x7^15*x11^3*x5^9+x7^9*x11^2*x5^4-x7^8*x11^2*x5^4*x12+x7-x12
x7
x11
EM
x7^15*x11^3*x5^9+x7^9*x11^2*x5^4-x7^8*x11^2*x5^4*x12+x7-x12
C empty
SBO (dim: 3)
J
x12 1
Nempty
Hempty
E
x7
x11
C empty
WBO (dim: 2)
J
16*x7^4*x5^6*x9-4*x7^4*x5^6-5*x9 0
c 0
N
x12
(E,a)
Ea
x7 1
x11 0
C empty
Blown up to:
147.0 148.0
x12 x7
ID: 146.0 Parent: 143.0 Tree