ID: 199.0 Parent: 149.0 Tree
Blown up to:
257.0 258.0 259.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*x9^5*x8^3*x12^4-x9^6*x8^3*x12^3
x9*x8
x8*x11*x9
x9
x11*x9
x11
x12
DEPempty
MAP
x1 x9^2*x8*x12
x2 x9^2*x8*x11*x12
x3 x12*x9
x4 x8*x12*x9
IMAP
x8 x4/x3
x9 x1/x4
x11 x2/x1
x12 x3/x1*x4
STACK
WBO (dim: 4)
J
x12*x11-x9 1
c 1
Nempty
(E,a)
Ea
x12 2
x8 2
x9 3
C empty
TBO (dim: 4)
J
x12*x11-x9 1
Nempty
E
x12
x8
x9
EM
x12
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:
257.0 258.0 259.0
x9 x11 x12
ID: 199.0 Parent: 149.0 Tree