ID: 13.0 Parent: 12.0 Tree
Blown up to:
14.0 15.0 16.0
x7^6*x1^7-x7*x8+x1 x7 x8
PDER
VAR\IND x7^6*x1^7-x7*x8+x1 x7 x8
x1 x9 -x9*(6*x7^5*x1^7-x8) x9*x7
x7 0 1 0
x8 0 0 1
x9 -42*x9^3*x7^6*x1^5 -42*x7^5*x1^6*x9^2+42*x9^3
*x7^6*x1^5*(6*x7^5*x1^7-x8
)
-42*x9^3*x7^7*x1^5
FOCUS
x1^6+x7^6*x1^12-x1^5*x7*x8
x7
x8
DEP
x9*(7*x7^6*x1^6+1)-1
MAP
x1 x1
x2 x7*x1^2
x3 x8*x1^2
IMAP
x1 x1
x7 x2/x1^2
x8 x3/x1^2
x9 x1^6/(7*x2^6+x1^6)
STACK
WBO (dim: 3)
J
x7^6*x1^7-x7*x8+x1 1
c 1
Nempty
(E,a)
Ea
x1 3
C empty
TBO (dim: 3)
J
x7^6*x1^7-x7*x8+x1 1
Nempty
E
x1
EM
x1
C empty
SBO (dim: 3)
J
x7^6*x1^7-x7*x8+x1 1
x1 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 2)
J
x1 2
c 2
N
x7^6*x1^7-x7*x8+x1
(E,a)empty
C empty
TBO (dim: 2)
J
x1 2
N
x7^6*x1^7-x7*x8+x1
Eempty
EMempty
C empty
SBO (dim: 2)
J
x1 2
N
x7^6*x1^7-x7*x8+x1
Hempty
Eempty
C empty
WBO (dim: 1)
J
x8 1
c 1
N
x7^6*x1^7-x7*x8+x1
x7
(E,a)empty
C empty
TBO (dim: 1)
J
x8 1
N
x7^6*x1^7-x7*x8+x1
x7
Eempty
EMempty
C empty
SBO (dim: 1)
J
x8 1
N
x7^6*x1^7-x7*x8+x1
x7
Hempty
Eempty
C empty
Blown up to:
14.0 15.0 16.0
x7^6*x1^7-x7*x8+x1 x7 x8
ID: 13.0 Parent: 12.0 Tree