ID: 61.0 Parent: 11.0 Tree
Blown up to:
116.0 117.0 118.0
x9 x11 x12
PDER
VAR\IND x9 x11 x12 x8
x8 0 0 0 1
x9 1 0 0 0
x11 0 1 0 0
x12 0 0 1 0
FOCUS
x11^4*x9^5*x12*x8^3-x9^6*x8^3*x11^3
x9*x8
x9
x12*x9
x11
x12
DEPempty
MAP
x1 x9^2*x8*x11
x2 x11*x9
x3 x9^2*x8*x11*x12
x4 x8*x11*x9
IMAP
x8 x4/x2
x9 x1/x4
x11 x2/x1*x4
x12 x3/x1
STACK
WBO (dim: 4)
J
x12*x11-x9 1
c 1
Nempty
(E,a)
Ea
x11 2
x8 2
x9 3
C empty
TBO (dim: 4)
J
x12*x11-x9 1
Nempty
E
x11
x8
x9
EM
x11
x8
x9
C empty
SBO (dim: 4)
J
x12*x11-x9 1
x9 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
x12*x11 2
c 2
N
x9
(E,a)empty
C empty
TBO (dim: 3)
J
x12*x11 2
N
x9
Eempty
EMempty
C empty
SBO (dim: 3)
J
x12*x11 2
N
x9
Hempty
Eempty
C empty
WBO (dim: 2)
J
x12 1
c 1
N
x9
x11
(E,a)empty
C empty
TBO (dim: 2)
J
x12 1
N
x9
x11
Eempty
EMempty
C empty
SBO (dim: 2)
J
x12 1
N
x9
x11
Hempty
Eempty
C empty
Blown up to:
116.0 117.0 118.0
x9 x11 x12
ID: 61.0 Parent: 11.0 Tree