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