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