ID: 663.0 Parent: 658.0 Tree
Covered by:
665.0 666.0
x24^2 x24^2*x21-1
PDER
VAR\IND x24 x2 x21 x10
x2 0 1 0 0
x10 0 0 0 1
x21 0 0 1 0
x24 1 0 0 0
FOCUS
x24^4*x21^11*x10^42*x2^6-x10^42*x24^6*x21^12*x2^6
x24*x21^2*x10^6
x21*x10^5
x24*x21^2*x10^5
x21*x10^4
x24*x21^2*x10^4
x21*x10^3
x24*x21^2*x10^3
x21*x10^2
x24*x21^2*x10^2
x21*x10
x24*x21^2*x10
x21
x24*x21^2
x24*x21
DEPempty
MAP
x1 x24*x21^2*x10^6*x2
x2 x2
x3 x21^3*x10^12*x24*x2
x4 x10^7*x24*x21^2*x2
IMAP
x2 x2
x10 x4/x1
x21 x3/x4^6*x1^5
x24 x4^6/x1^3/x3^2/x2
STACK
WBO (dim: 4)
J
-x24^2*x21+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x24 3
x10 30
x21 7
C empty
TBO (dim: 4)
J
-x24^2*x21+1 1
Nempty
E
x2
x24
x10
x21
EM
x2
x24
x10
C empty
SBO (dim: 4)
J
-x24^2*x21+1 1
Nempty
Hempty
E
x21
C empty
Covered by:
665.0 666.0
x24^2 x24^2*x21-1
ID: 663.0 Parent: 658.0 Tree