ID: 59.0 Parent: 58.0 Tree
PDER
VAR\IND x20-1 x19 x8
x8 0 0 1
x19 0 1 0
x20 x21 0 0
x21 -x21^3 0 0
FOCUS
x20^6*x19^10*x8^32-x19^10*x8^32*x20^5
x20^2*x19^3*x8^10
x20*x19*x8^4
x20*x19*x8^3
x19^2*x8^5*x20
x19^2*x8^4*x20
x19^2*x8^3*x20
x19*x8^3
x19*x8^2
x19*x8
x19
DEP
x21*x20-1
MAP
x1 x20^3*x19^5*x8^16
x2 x19^2*x8^6*x20
x3 x8^13*x19^4*x20^2
IMAP
x8 x3/x2^2
x19 x2^7/x1/x3^2
x20 x1^2/x3^2/x2
x21 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
x8 13
x19 4
x20-1 0
C empty