ID: 50.0 Parent: 46.0 Tree
Blown up to:
164.0 165.0 166.0
x13 x14 x15
PDER
VAR\IND x1 x14 x13 x15
x1 1 0 0 0
x13 0 0 1 0
x14 0 1 0 0
x15 0 0 0 1
FOCUS
x1^6*x14^5*x13^19*x15^11-x15^12*x13^18*x14^6*x1^6
x13^2*x15
x14*x13
x13
x14
x15
DEPempty
MAP
x1 x1
x2 x14*x13^2*x15*x1
x3 x13^5*x15^3*x14*x1
x4 x15^2*x13^3*x14*x1
IMAP
x1 x1
x13 x3/x4^2*x2
x14 x2/x1/x3*x4
x15 x4^3/x2^2/x3
STACK
WBO (dim: 4)
J
-x15*x14+x13 1
c 1
Nempty
(E,a)
Ea
x1 5
x14 4
x15 5
x13 10
C empty
TBO (dim: 4)
J
-x15*x14+x13 1
Nempty
E
x1
x14
x15
x13
EM
x1
x14
x15
x13
C empty
SBO (dim: 4)
J
-x15*x14+x13 1
x13 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
-x15*x14 2
c 2
N
x13
(E,a)empty
C empty
TBO (dim: 3)
J
-x15*x14 2
N
x13
Eempty
EMempty
C empty
SBO (dim: 3)
J
-x15*x14 2
N
x13
Hempty
Eempty
C empty
WBO (dim: 2)
J
-x15 1
c 1
N
x13
x14
(E,a)empty
C empty
TBO (dim: 2)
J
-x15 1
N
x13
x14
Eempty
EMempty
C empty
SBO (dim: 2)
J
-x15 1
N
x13
x14
Hempty
Eempty
C empty
Blown up to:
164.0 165.0 166.0
x13 x14 x15
ID: 50.0 Parent: 46.0 Tree