ID: 261.0 Parent: 168.0 Tree
Blown up to:
278.0 279.0 280.0
x13 x14 x12
PDER
VAR\IND x14 x12 x13
x12 0 1 0
x13 0 0 1
x14 1 0 0
FOCUS
x14^14*x12^26*x13^4-x12^26*x14^13*x13^5
x14^4*x12^7*x13
x12^3*x14^2
x12^2*x14
x14*x12
x13*x12^2*x14
x13*x12
x12
x13
DEPempty
MAP
x1 x14^7*x12^13*x13^2
x2 x12^6*x14^3*x13
x3 x12^10*x14^5*x13^2
IMAP
x12 x2^4/x3/x1
x13 x3^3/x2^5
x14 x1^2/x2^6*x3
STACK
WBO (dim: 3)
J
-x13+x14 1
c 1
Nempty
(E,a)
Ea
x13 2
x14 6
x12 12
C empty
TBO (dim: 3)
J
-x13+x14 1
Nempty
E
x13
x14
x12
EM
x13
C empty
SBO (dim: 3)
J
-x13+x14 1
Nempty
Hempty
E
x14
x12
C empty
WBO (dim: 2)
J
x14 1
c 1
N
x13
(E,a)
Ea
x14 0
x12 0
C empty
TBO (dim: 2)
J
x14 1
N
x13
E
x14
x12
EM
x14
x12
C empty
SBO (dim: 2)
J
x14 1
N
x13
H
x14
x12
Eempty
C empty
Blown up to:
278.0 279.0 280.0
x13 x14 x12
ID: 261.0 Parent: 168.0 Tree