ID: 478.0 Parent: 447.0 Tree
Blown up to:
529.0 530.0 531.0
x13 x14 x10
PDER
VAR\IND x14 x2 x13 x10
x2 0 1 0 0
x10 0 0 0 1
x13 0 0 1 0
x14 1 0 0 0
FOCUS
x14^4*x10^14*x2^6*x13^3-x10^18*x14^6*x2^6
x14*x10^2
x13*x10
x14*x10
x13
x14
DEPempty
MAP
x1 x14*x10^2*x2
x2 x2
x3 x13*x10^4*x14*x2
x4 x10^3*x14*x2
IMAP
x2 x2
x10 x4/x1
x13 x3/x4^2*x1
x14 x1^3/x2/x4^2
STACK
WBO (dim: 4)
J
-x14^2*x10^4+x13^3 3
c 3
Nempty
(E,a)
Ea
x2 5
x14 3
x10 10
C empty
TBO (dim: 4)
J
-x14^2*x10^4+x13^3 3
Nempty
E
x2
x14
x10
EM
x2
x14
C empty
SBO (dim: 4)
J
-x14^2*x10^4+x13^3 3
Nempty
Hempty
E
x10
C empty
WBO (dim: 3)
J
-x14^2 2
c 2/3
N
x13
(E,a)
Ea
x10 4/3
C empty
TBO (dim: 3)
J
-x14^2 2
x10^4 1
N
x13
E
x10
EMempty
C empty
SBO (dim: 3)
J
-x14^2 2
x10^4 1
N
x13
Hempty
E
x10
C empty
WBO (dim: 2)
J
1 0
c 0
N
x13
x14
(E,a)
Ea
x10 4
C empty
Blown up to:
529.0 530.0 531.0
x13 x14 x10
ID: 478.0 Parent: 447.0 Tree