ID: 322.0 Parent: 319.0 Tree
PDER
VAR\IND x1 x21 x16 x18
x1 1 0 0 0
x16 0 0 1 0
x18 0 0 0 1
x21 0 1 0 0
x22 0 -2*x21*x18*x22^2 0 -x21^2*x22^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
x21^2
DEP
x22*(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^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