ID: 319.0 Parent: 310.0 Tree
Covered by:
321.0 322.0
x21^2 x18*x21^2-1
PDER
VAR\IND x1 x21 x16 x18
x1 1 0 0 0
x16 0 0 1 0
x18 0 0 0 1
x21 0 1 0 0
FOCUS
x1^6*x21^2*x18^25*x16^30-x18^24*x16^30*x1^6
x21*x18^5*x16^5
x21*x18^4*x16^4
x16^3*x18^2
x21*x18^3*x16^3
x16^2*x18
x16^2*x21*x18^2
x16
x21*x18^2*x16
x21*x18*x16
x21*x18
DEPempty
MAP
x1 x1
x2 x21*x18^8*x16^9*x1
x3 x16^4*x18^3*x1
x4 x18^4*x16^5*x1
IMAP
x1 x1
x16 x3^4/x1/x4^3
x18 x4^4/x3^5*x1
x21 1/x4^5*x2*x3^4
STACK
WBO (dim: 4)
J
x18*x21^2-1 1
c 1
Nempty
(E,a)
Ea
x1 5
x16 21
x18 16
C empty
TBO (dim: 4)
J
x18*x21^2-1 1
Nempty
E
x1
x16
x18
EM
x1
x16
C empty
SBO (dim: 4)
J
x18*x21^2-1 1
Nempty
Hempty
E
x18
C empty
Covered by:
321.0 322.0
x21^2 x18*x21^2-1
ID: 319.0 Parent: 310.0 Tree