ID: 623.0 Parent: 618.0 Tree
Covered by:
625.0 626.0
x24^2 x24^2*x21-1
PDER
VAR\IND x18 x2 x21 x24
x2 0 1 0 0
x18 1 0 0 0
x21 0 0 1 0
x24 0 0 0 1
FOCUS
x18^66*x24^28*x21^59*x2^6-x18^66*x24^30*x21^60*x2^6
x18^9*x24^4*x21^8
x21^7*x18^8*x24^3
x18^7*x24^3*x21^6
x21^5*x18^6*x24^2
x18^5*x24^2*x21^4
x21^3*x18^4*x24
x18^3*x24*x21^2
x21*x18^2
x18
x21*x18
x21
x24*x21
DEPempty
MAP
x1 x18^9*x24^4*x21^8*x2
x2 x2
x3 x21^17*x18^19*x24^8*x2
x4 x18^11*x24^5*x21^10*x2
IMAP
x2 x2
x18 x1^5/x2/x4^4
x21 x3/x1^7*x2^2*x4^4
x24 x1^3/x2^2*x4/x3^2
STACK
WBO (dim: 4)
J
-x24^2*x21+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x24 20
x18 47
x21 41
C empty
TBO (dim: 4)
J
-x24^2*x21+1 1
Nempty
E
x2
x24
x18
x21
EM
x2
x24
x18
C empty
SBO (dim: 4)
J
-x24^2*x21+1 1
Nempty
Hempty
E
x21
C empty
Covered by:
625.0 626.0
x24^2 x24^2*x21-1
ID: 623.0 Parent: 618.0 Tree