ID: 48.0 Parent: 39.0 Tree
Blown up to:
53.0 54.0
x12 x11
PDER
VAR\IND x11 x2 x10 x12
x2 0 1 0 0
x10 0 0 1 0
x11 1 0 0 0
x12 0 0 0 1
FOCUS
x11^4*x10^2*x12^2*x2^3-x10^2*x12^3*x11^3*x2^3
x11^2*x10*x12
x11*x10
x10
x11
x12
DEPempty
MAP
x1 x12*x10*x2*x11^2
x2 x2
x3 x10*x12*x11*x2
x4 x12*x11*x2
IMAP
x2 x2
x10 x3/x4
x11 x1/x3
x12 x4/x2/x1*x3
STACK
WBO (dim: 4)
J
x11-x12 1
c 1
Nempty
(E,a)
Ea
x2 2
x12 1
x10 1
x11 1
C empty
TBO (dim: 4)
J
x11-x12 1
Nempty
E
x2
x12
x10
x11
EM
x2
x12
x10
C empty
SBO (dim: 4)
J
x11-x12 1
Nempty
Hempty
E
x11
C empty
WBO (dim: 3)
J
1 0
c 0
N
x12
(E,a)
Ea
x11 1
C empty
Blown up to:
53.0 54.0
x12 x11
ID: 48.0 Parent: 39.0 Tree