ID: 1.0 Parent: 0.0 Tree
Blown up to:
5.0 6.0 7.0
x6 x7 x8
PDER
VAR\IND x1 x6 x7 x8
x1 1 0 0 0
x6 0 1 0 0
x7 0 0 1 0
x8 0 0 0 1
FOCUS
x1^4*x7*x8+x6^2*x1^4*x7*x8+x1^4*x6^2
DEPempty
MAP
x1 x1
x2 x6*x1
x3 x7*x1
x4 x8*x1
IMAP
x1 x1
x6 x2/x1
x7 x3/x1
x8 x4/x1
STACK
WBO (dim: 4)
J
x6^2*x7*x8+x6^2+x7*x8 2
c 2
Nempty
(E,a)
Ea
x1 3
C empty
TBO (dim: 4)
J
x6^2*x7*x8+x6^2+x7*x8 2
Nempty
E
x1
EM
x1
C empty
SBO (dim: 4)
J
x6^2*x7*x8+x6^2+x7*x8 2
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
x7*x8 2
c 1
N
x6
(E,a)empty
C empty
TBO (dim: 3)
J
x7*x8 2
N
x6
Eempty
EMempty
C empty
SBO (dim: 3)
J
x7*x8 2
N
x6
Hempty
Eempty
C empty
WBO (dim: 2)
J
x8 1
c 1
N
x6
x7
(E,a)empty
C empty
TBO (dim: 2)
J
x8 1
N
x6
x7
Eempty
EMempty
C empty
SBO (dim: 2)
J
x8 1
N
x6
x7
Hempty
Eempty
C empty
Blown up to:
5.0 6.0 7.0
x6 x7 x8
ID: 1.0 Parent: 0.0 Tree