ID: 324.0 Parent: 323.0 Tree
PDER
VAR\IND x1 x21 x16 x18*x21^2-1
x1 1 0 0 0
x16 0 0 1 0
x18 0 -2*x22*x21*x18 0 x22
x21 0 1 0 0
x22 0 -2*x21*x22^2 0 0
x23 0 -(-2*x21^3*x22*x18+2
*x21*x18)*x23^2
0 -x21^2*x22*x23^2
FOCUS
x1^6*x21^2*x18^25*x16^30-x18^24*x16^30*x1^6
x21*x18^5*x16^5
x21*x18^4*x16^4
x16^3*x18^2
x21*x18^3*x16^3
x16^2*x18
x16^2*x21*x18^2
x16
x21*x18^2*x16
x21*x18*x16
x21*x18
2*x21*x18
x16
2*x21*x18
DEP
x21^2*x22-1
x23*(x18*x21^2-1)-1
MAP
x1 x1
x2 x21*x18^8*x16^9*x1
x3 x16^4*x18^3*x1
x4 x18^4*x16^5*x1
IMAP
x1 x1
x16 x3^4/x1/x4^3
x18 x4^4/x3^5*x1
x21 1/x4^5*x2*x3^4
x22 x4^10/x2^2/x3^8
x23 -x4^6/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
x18*x21^2-1 0
c 0
Nempty
(E,a)
Ea
x1 5
x16 21
x18 16
C empty