ID: 105.0 Parent: 104.0 Tree
PDER
VAR\IND x1 x17 x15 x21-1
x1 1 0 0 0
x15 0 0 1 0
x17 0 1 0 0
x21 0 0 0 1
x22 0 0 0 -x22^2
FOCUS
x1^6*x17^30*x15^66*x21^11-x21^12*x15^66*x17^30*x1^6
x15^7*x17^3*x21
x17*x15
x15^2*x17
x21*x15^3*x17
x17
x21*x15^3
x21*x15^2
x21*x15
x21
x21
x17
DEP
x22*(x21-1)-1
MAP
x1 x1
x2 x17^3*x15^6*x21*x1
x3 x15^18*x17^8*x21^3*x1
x4 x21^2*x15^11*x17^5*x1
IMAP
x1 x1
x15 x3/x4/x2*x1
x17 x2^3/x1^2/x3
x21 1/x1/x3^3*x4^6/x2^2
x22 x1*x2^2*x3^3/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
-x21+1 0
c 0
Nempty
(E,a)
Ea
x1 5
x21 5
x17 15
x15 30
C empty