ID: 330.0 Parent: 329.0 Tree
PDER
VAR\IND x1 x20 x16 x22-1
x1 1 0 0 0
x16 0 0 1 0
x20 0 1 0 0
x22 0 0 0 1
x23 0 0 0 -x23^2
FOCUS
x1^6*x20^48*x16^30*x22^23-x22^24*x20^48*x16^30*x1^6
x20^9*x16^5*x22^4
x20^7*x16^4*x22^3
x16^3*x22^2*x20^4
x20^5*x16^3*x22^2
x16^2*x22*x20^2
x16^2*x20^3*x22
x16
x22*x20^3*x16
x20*x16
x20
x22*x20
x22
x22
x20
x16
DEP
x23*(x22-1)-1
MAP
x1 x1
x2 x20^15*x16^9*x22^7*x1
x3 x16^4*x22^3*x20^6*x1
x4 x22^4*x20^8*x16^5*x1
IMAP
x1 x1
x16 x3^4/x1/x4^3
x20 x2/x4/x3*x1
x22 1/x1/x3^3*x4^6/x2^2
x23 x1*x2^2*x3^3/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
-x22+1 0
c 0
Nempty
(E,a)
Ea
x1 5
x22 16
x16 21
x20 32
C empty