ID: 139.0 Parent: 120.0 Tree
Blown up to:
145.0 146.0
x14 x15
PDER
VAR\IND x15 x14 x11
x11 0 0 1
x14 0 1 0
x15 1 0 0
FOCUS
x11^26*x15^8*x14^4-x15^7*x11^26*x14^5
x11^9*x15^3*x14
x11^5*x15^2
x15*x11^2
x14*x11^2
x11
x14*x11
x14
x15
DEPempty
MAP
x1 x11^13*x15^4*x14^2
x2 x14*x11^4*x15
x3 x11^11*x15^3*x14^2
IMAP
x11 x3^2/x2^2/x1
x14 x2^5/x3^3*x1
x15 x1^3/x3^5*x2^4
STACK
WBO (dim: 3)
J
-x14+x15 1
c 1
Nempty
(E,a)
Ea
x14 2
x15 3
x11 11
C empty
TBO (dim: 3)
J
-x14+x15 1
Nempty
E
x14
x15
x11
EM
x14
C empty
SBO (dim: 3)
J
-x14+x15 1
Nempty
Hempty
E
x15
x11
C empty
WBO (dim: 2)
J
x15 1
c 1
N
x14
(E,a)
Ea
x15 0
x11 0
C empty
TBO (dim: 2)
J
x15 1
N
x14
E
x15
x11
EM
x15
C empty
SBO (dim: 2)
J
x15 1
N
x14
Hempty
E
x11
C empty
Blown up to:
145.0 146.0
x14 x15
ID: 139.0 Parent: 120.0 Tree