ID: 265.0 Parent: 258.0 Tree
Blown up to:
270.0 271.0
x15 x11
PDER
VAR\IND x15 x11 x14 x8
x8 0 0 0 1
x11 0 1 0 0
x14 0 0 1 0
x15 1 0 0 0
FOCUS
x11^10*x15^5*x14^9*x8^3-x15^6*x14^9*x11^9*x8^3
x15*x14*x11*x8
x8*x11^2*x15*x14
x15*x14*x11
x11^2*x15*x14
x11
x14*x11
x15*x14
x15
DEPempty
MAP
x1 x8*x14^3*x15^2*x11^3
x2 x15^2*x14^3*x11^4*x8
x3 x15*x14^2*x11^2
x4 x15*x14^2*x11^2*x8
IMAP
x8 x4/x3
x11 x2/x1
x14 x3/x2*x4
x15 1/x4^2*x1^2/x3
STACK
WBO (dim: 4)
J
-x15+x11 1
c 1
Nempty
(E,a)
Ea
x8 2
x15 3
x11 5
x14 5
C empty
TBO (dim: 4)
J
-x15+x11 1
Nempty
E
x8
x15
x11
x14
EM
x8
x15
C empty
SBO (dim: 4)
J
-x15+x11 1
Nempty
Hempty
E
x11
x14
C empty
WBO (dim: 3)
J
1 0
c 0
N
x15
(E,a)
Ea
x11 1
x14 0
C empty
Blown up to:
270.0 271.0
x15 x11
ID: 265.0 Parent: 258.0 Tree