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