ID: 171.0 Parent: 165.0 Tree
Blown up to:
176.0 177.0
x14 x13
PDER
VAR\IND x14 x7 x3 x13
x3 0 0 1 0
x7 0 1 0 0
x13 0 0 0 1
x14 1 0 0 0
FOCUS
x7^3*x3^6*x13^4*x14^2-x14^3*x13^3*x3^6*x7^3
x14*x13*x3*x7
x7
x14*x13*x3
x14*x13
x13
x14
DEPempty
MAP
x1 x14*x13*x3^2*x7
x2 x7*x3
x3 x3
x4 x13^2*x14*x3^2*x7
IMAP
x3 x3
x7 x2/x3
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
x3 4
x14 1
x13 1
C empty
TBO (dim: 4)
J
x13-x14 1
Nempty
E
x7
x3
x14
x13
EM
x7
x3
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:
176.0 177.0
x14 x13
ID: 171.0 Parent: 165.0 Tree