ID: 234.0 Parent: 197.0 Tree
Blown up to:
266.0 267.0 268.0
x13 x14 x10
PDER
VAR\IND x1 x13 x14 x10
x1 1 0 0 0
x10 0 0 0 1
x13 0 1 0 0
x14 0 0 1 0
FOCUS
x1^6*x13^2*x10^14*x14^5-x10^18*x14^6*x1^6
x13*x10^2
x13*x10
x14*x10
x13
x14
DEPempty
MAP
x1 x1
x2 x13*x10^4*x14*x1
x3 x14*x10^2*x1
x4 x10^3*x14*x1
IMAP
x1 x1
x10 x4/x3
x13 x3/x4^2*x2
x14 x3^3/x1/x4^2
STACK
WBO (dim: 4)
J
-x14*x10^4+x13^2 2
c 2
Nempty
(E,a)
Ea
x1 5
x14 4
x10 10
C empty
TBO (dim: 4)
J
-x14*x10^4+x13^2 2
Nempty
E
x1
x14
x10
EM
x1
x14
C empty
SBO (dim: 4)
J
-x14*x10^4+x13^2 2
Nempty
Hempty
E
x10
C empty
WBO (dim: 3)
J
-x14 1
c 1/2
N
x13
(E,a)
Ea
x10 2
C empty
TBO (dim: 3)
J
-x14 1
x10^4 1
N
x13
E
x10
EMempty
C empty
SBO (dim: 3)
J
-x14 1
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:
266.0 267.0 268.0
x13 x14 x10
ID: 234.0 Parent: 197.0 Tree