ID: 656.0 Parent: 655.0 Tree
PDER
VAR\IND x20 x2 x21 x25-1
x2 0 1 0 0
x20 1 0 0 0
x21 0 0 1 0
x25 0 0 0 1
x26 0 0 0 -x26^2
FOCUS
x20^42*x25^35*x21^108*x2^6-x25^36*x21^108*x20^42*x2^6
x20^6*x25^5*x21^15
x21^13*x20^5*x25^4
x20^5*x25^4*x21^12
x21^10*x20^4*x25^3
x20^4*x25^3*x21^9
x21^7*x20^3*x25^2
x20^3*x25^2*x21^6
x21^4*x25*x20^2
x20^2*x25*x21^3
x21*x20
x20
x21
x25*x21^2
x25*x21
x25
x25
x21
x20
DEP
x26*(x25-1)-1
MAP
x1 x20^6*x25^5*x21^15*x2
x2 x2
x3 x21^31*x20^12*x25^10*x2
x4 x25^6*x21^18*x20^7*x2
IMAP
x2 x2
x20 x1^6/x2/x4^5
x21 x3/x1^2*x2
x25 1/x1/x3^3*x4^6/x2^2
x26 x1*x2^2*x3^3/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
-x25+1 0
c 0
Nempty
(E,a)
Ea
x2 5
x25 25
x20 30
x21 75
C empty