ID: 450.0 Parent: 442.0 Tree
PDER
VAR\IND x20 x10 x8 x19
x8 0 0 1 0
x10 0 1 0 0
x19 0 0 0 1
x20 1 0 0 0
x21 -x10*x21^2 -x20*x21^2 0 0
FOCUS
x10^17*x8^6*x20^8*x19^12-x20^9*x19^12*x10^18*x8^6
x8*x10^2*x20*x19
x10*x8
x8
x20*x19*x10^2
x10
x20^2*x19^3*x10^2
x20*x19
x10^2*x19^2*x20
x10*x19^2*x20
x19^2*x20
x19
x10
x20
DEP
x21*(x20*x10-1)-1
MAP
x1 x20^3*x19^4*x10^6*x8^2
x2 x10^5*x8^2*x20^2*x19^3
x3 x8^2*x20^2*x19^3*x10^4
x4 x20^2*x19^3*x10^4*x8
IMAP
x8 x3/x4
x10 x2/x3
x19 1/x1^2*x4^2*x3
x20 x1^3/x2^2/x4^2
x21 -x2*x3*x4^2/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
-x20*x10+1 0
c 0
Nempty
(E,a)
Ea
x8 4
x10 9
x20 4
x19 6
C empty