ID: 173.0 Parent: 167.0 Tree
Blown up to:
176.0 177.0 178.0
x13 x8 x14
PDER
VAR\IND x14 x8 x13
x8 0 1 0
x13 0 0 1
x14 1 0 0
FOCUS
x14^2*x8^20*x13^4-x8^18*x13^5
x13*x8^6*x14
x14*x8^3
x8
x14*x8^2
x13*x8^2
x13*x8
x13
DEPempty
MAP
x1 x14*x8^10*x13^2
x2 x8^4*x13
x3 x8^7*x13^2
IMAP
x8 x2^2/x3
x13 x3^4/x2^7
x14 x1/x2^6*x3^2
STACK
WBO (dim: 3)
J
x14^2*x8^2-x13 1
c 1
Nempty
(E,a)
Ea
x13 2
x8 8
C empty
TBO (dim: 3)
J
x14^2*x8^2-x13 1
Nempty
E
x13
x8
EM
x13
C empty
SBO (dim: 3)
J
x14^2*x8^2-x13 1
Nempty
Hempty
E
x8
C empty
WBO (dim: 2)
J
x14^2 2
c 2
N
x13
(E,a)
Ea
x8 2
C empty
TBO (dim: 2)
J
x14^2 2
N
x13
E
x8
EM
x8
C empty
SBO (dim: 2)
J
x14^2 2
N
x13
H
x8
Eempty
C empty
WBO (dim: 1)
J
x14^2 2
c 1
N
x13
x8
(E,a)empty
C empty
TBO (dim: 1)
J
x14^2 2
N
x13
x8
Eempty
EMempty
C empty
SBO (dim: 1)
J
x14^2 2
N
x13
x8
Hempty
Eempty
C empty
Blown up to:
176.0 177.0 178.0
x13 x8 x14
ID: 173.0 Parent: 167.0 Tree