ID: 115.0 Parent: 114.0 Tree
PDER
VAR\IND x14 x20-1 x10 x8
x8 0 0 0 1
x10 0 0 1 0
x14 1 0 0 0
x20 0 1 0 0
x21 0 -x21^2 0 0
FOCUS
x20^4*x10^21*x14^12*x8^3-x14^12*x10^21*x8^3*x20^3
x14*x10^2*x8
x14*x10^2
x10
x20*x10^4*x14^3
x20*x10^3*x14^3
x14
x20*x10^3*x14^2
x20*x10^2*x14^2
x20*x10*x14^2
x20*x10*x14
x20*x10
x20
x20
x14
x10
DEP
x21*(x20-1)-1
MAP
x1 x14^4*x10^7*x8*x20
x2 x20*x10^5*x14^3
x3 x10^6*x8*x20*x14^3
x4 x8*x20*x10^5*x14^3
IMAP
x8 x4/x2
x10 x3/x4
x14 x1/x3^2*x4
x20 x4^2/x1^3*x3*x2
x21 x1^3/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
x20-1 0
c 0
Nempty
(E,a)
Ea
x20 2
x8 2
x14 6
x10 11
C empty