ID: 454.0 Parent: 453.0 Tree
PDER
VAR\IND x15 x21-1 x8 x20
x8 0 0 1 0
x15 1 0 0 0
x20 0 0 0 1
x21 0 1 0 0
FOCUS
x21^17*x20^21*x8^6*x15^12-x15^12*x21^18*x20^21*x8^6
x8*x21^2*x20^2*x15
x21*x20*x8
x8
x15*x21^2*x20^2
x21*x20
x15^3*x21^2*x20^3
x15
x21^2*x20^3*x15^2
x21*x20^2*x15^2
x20*x15^2
x20*x15
x20
DEPempty
MAP
x1 x15^4*x21^6*x20^7*x8^2
x2 x21^5*x20^6*x8^2*x15^3
x3 x8^2*x15^3*x21^4*x20^5
x4 x15^3*x21^4*x20^5*x8
IMAP
x8 x3/x4
x15 x1/x2^2*x3
x20 1/x1^3*x4^2*x2^2
x21 x1^3/x3/x2/x4^2
STACK
WBO (dim: 4)
J
-1 0
c 0
Nempty
(E,a)
Ea
x8 4
x21 9
x15 6
x20 11
x21-1 0
C empty