ID: 668.0 Parent: 667.0 Tree
PDER
VAR\IND x24 x2 x24^2*x21-1 x10
x2 0 1 0 0
x10 0 0 0 1
x21 -2*x25*x24*x21 0 x25 0
x24 1 0 0 0
x25 -2*x24*x25^2 0 0 0
x26 -(-2*x24^3*x25*x21+2
*x24*x21)*x26^2
0 -x24^2*x25*x26^2 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
2*x24*x21
x21
DEP
x24^2*x25-1
x26*(x24^2*x21-1)-1
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
x25 1/x4^12*x1^6*x3^4*x2^2
x26 x1*x2^2*x3^3/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
-x24^2*x21+1 0
c 0
Nempty
(E,a)
Ea
x2 5
x10 30
x21 7
C empty