ID: 618.0 Parent: 596.0 Tree
Blown up to:
623.0 624.0
x21 x23
PDER
VAR\IND x18 x2 x21 x23
x2 0 1 0 0
x18 1 0 0 0
x21 0 0 1 0
x23 0 0 0 1
FOCUS
x18^66*x23^28*x21^31*x2^6-x18^66*x23^30*x21^30*x2^6
x18^9*x23^4*x21^4
x21^4*x18^8*x23^3
x18^7*x23^3*x21^3
x21^3*x18^6*x23^2
x18^5*x23^2*x21^2
x21^2*x18^4*x23
x18^3*x23*x21
x21*x18^2
x18
x21*x18
x21
x23
DEPempty
MAP
x1 x18^9*x23^4*x21^4*x2
x2 x2
x3 x21^9*x18^19*x23^8*x2
x4 x18^11*x23^5*x21^5*x2
IMAP
x2 x2
x18 x1^5/x2/x4^4
x21 x3/x1^7*x2^2*x4^4
x23 x4^5/x1^4/x3
STACK
WBO (dim: 4)
J
-x23^2+x21 1
c 1
Nempty
(E,a)
Ea
x2 5
x23 20
x18 47
x21 21
C empty
TBO (dim: 4)
J
-x23^2+x21 1
Nempty
E
x2
x23
x18
x21
EM
x2
x23
x18
x21
C empty
SBO (dim: 4)
J
-x23^2+x21 1
x21 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
-x23^2 2
c 2
N
x21
(E,a)empty
C empty
TBO (dim: 3)
J
-x23^2 2
N
x21
Eempty
EMempty
C empty
SBO (dim: 3)
J
-x23^2 2
N
x21
Hempty
Eempty
C empty
Blown up to:
623.0 624.0
x21 x23
ID: 618.0 Parent: 596.0 Tree