ID: 177.0 Parent: 173.0 Tree
Blown up to:
180.0 181.0
x15 x16
PDER
VAR\IND x16 x8 x15
x8 0 1 0
x15 0 0 1
x16 1 0 0
FOCUS
x16^2*x8^26*x15^4-x8^23*x15^5
x15*x8^8*x16
x16*x8^4
x8
x16*x8^3
x15*x8^3
x15*x8^2
x15*x8
x15
DEPempty
MAP
x1 x16*x8^13*x15^2
x2 x8^5*x15
x3 x8^9*x15^2
IMAP
x8 x2^2/x3
x15 x3^5/x2^9
x16 x1/x2^8*x3^3
STACK
WBO (dim: 3)
J
x16^2*x8^3-x15 1
c 1
Nempty
(E,a)
Ea
x15 2
x8 10
C empty
TBO (dim: 3)
J
x16^2*x8^3-x15 1
Nempty
E
x15
x8
EM
x15
C empty
SBO (dim: 3)
J
x16^2*x8^3-x15 1
Nempty
Hempty
E
x8
C empty
WBO (dim: 2)
J
x16^2 2
c 2
N
x15
(E,a)
Ea
x8 3
C empty
TBO (dim: 2)
J
x16^2 2
N
x15
E
x8
EMempty
C empty
SBO (dim: 2)
J
x16^2 2
N
x15
Hempty
E
x8
C empty
Blown up to:
180.0 181.0
x15 x16
ID: 177.0 Parent: 173.0 Tree