ID: 240.0 Parent: 234.0 Tree
PDER
VAR\IND x16 x20 x19
x16 1 0 0
x19 0 0 1
x20 0 1 0
x21 0 -x21^2 0
FOCUS
x16^28*x20^42*x19^46-x20^41*x19^46*x16^28
x16^8*x20^12*x19^13
x16^3*x20^5*x19^5
x16*x19^2*x20^2
x20^3*x19^3*x16^2
x20^5*x19^6*x16^4
x16^3*x20^3*x19^4
x20^2*x19^3*x16^2
x20*x19
x19^2*x16^2*x20
x19*x16^2
x19*x16
x19
x20
DEP
x21*(x20-1)-1
MAP
x1 x16^14*x20^21*x19^23
x2 x20^9*x19^10*x16^6
x3 x20^16*x19^18*x16^11
IMAP
x16 x1^2/x2^10*x3^3
x19 x2^7/x1^3
x20 x1^2/x3^2/x2
x21 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x20-1 0
c 0
Nempty
(E,a)
Ea
x20 18
x16 12
x19 20
C empty