ID: 715.0 Parent: 3.0 Tree
Blown up to:
807.0 808.0 809.0
x9 x10 x8
PDER
VAR\IND x9 x10 x3 x8
x3 0 0 1 0
x8 0 0 0 1
x9 1 0 0 0
x10 0 1 0 0
FOCUS
x9*x8^3*x3^6*x10^2-x8^6*x3^6
x9*x8
x10*x8
x9
x10
DEPempty
MAP
x1 x9*x8*x3
x2 x10*x8*x3
x3 x3
x4 x8*x3
IMAP
x3 x3
x8 x4/x3
x9 x1/x4
x10 x2/x4
STACK
WBO (dim: 4)
J
-x8^3+x10^2*x9 3
c 3
Nempty
(E,a)
Ea
x3 5
x8 2
C empty
TBO (dim: 4)
J
-x8^3+x10^2*x9 3
Nempty
E
x3
x8
EM
x3
C empty
SBO (dim: 4)
J
-x8^3+x10^2*x9 3
Nempty
Hempty
E
x8
C empty
WBO (dim: 3)
J
-x8^3 3
x10^2 2
c 1
N
x9
(E,a)
Ea
x8 0
C empty
TBO (dim: 3)
J
-x8^3 3
x10^2 2
N
x9
E
x8
EMempty
C empty
SBO (dim: 3)
J
-x8^3 3
x10^2 2
N
x9
Hempty
E
x8
C empty
WBO (dim: 2)
J
-1 0
c 0
N
x9
x10
(E,a)
Ea
x8 1
C empty
Blown up to:
807.0 808.0 809.0
x9 x10 x8
ID: 715.0 Parent: 3.0 Tree