ID: 456.0 Parent: 455.0 Tree
PDER
VAR\IND x15 x10 x8 x21-1
x8 0 0 1 0
x10 0 1 0 0
x15 1 0 0 0
x21 0 0 0 1
x22 0 0 0 -x22^2
FOCUS
x10^21*x8^6*x15^12*x21^4-x15^12*x10^21*x8^6*x21^3
x8*x10^2*x15
x10*x8
x8
x15*x10^2
x10
x15^3*x10^3*x21
x15
x10^3*x21*x15^2
x10^2*x21*x15^2
x21*x10*x15^2
x21*x10*x15
x21*x10
x21
x21
x15
x10
x8
DEP
x22*(x21-1)-1
MAP
x1 x15^4*x10^7*x8^2*x21
x2 x10^6*x8^2*x15^3*x21
x3 x8^2*x15^3*x10^5*x21
x4 x15^3*x10^5*x21*x8
IMAP
x8 x3/x4
x10 x2/x3
x15 x1/x2^2*x3
x21 x4^2/x1^3*x3*x2
x22 x1^3/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
x21-1 0
c 0
Nempty
(E,a)
Ea
x21 2
x8 4
x15 6
x10 11
C empty