ID: 33.0 Parent: 27.0 Tree
Blown up to:
38.0 39.0
x14 x13
PDER
VAR\IND x14 x2 x7 x13
x2 0 1 0 0
x7 0 0 1 0
x13 0 0 0 1
x14 1 0 0 0
FOCUS
x2^6*x7^3*x13^4*x14^2-x14^3*x13^3*x2^6*x7^3
x14*x13*x2*x7
x14*x13*x2
x14*x13
x13
x14
DEPempty
MAP
x1 x14*x13*x2^2*x7
x2 x2
x3 x7*x2
x4 x13^2*x14*x2^2*x7
IMAP
x2 x2
x7 x3/x2
x13 x4/x1
x14 x1^2/x3/x2/x4
STACK
WBO (dim: 4)
J
x13-x14 1
c 1
Nempty
(E,a)
Ea
x7 2
x2 4
x14 1
x13 1
C empty
TBO (dim: 4)
J
x13-x14 1
Nempty
E
x7
x2
x14
x13
EM
x7
x2
x14
C empty
SBO (dim: 4)
J
x13-x14 1
Nempty
Hempty
E
x13
C empty
WBO (dim: 3)
J
1 0
c 0
N
x14
(E,a)
Ea
x13 1
C empty
Blown up to:
38.0 39.0
x14 x13
ID: 33.0 Parent: 27.0 Tree