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