ID: 133.0 Parent: 132.0 Tree
PDER
VAR\IND x1 x21-1 x15 x17
x1 1 0 0 0
x15 0 0 1 0
x17 0 0 0 1
x21 0 1 0 0
x22 0 -x22^2 0 0
FOCUS
x1^6*x21^5*x15^42*x17^24-x17^24*x15^42*x21^6*x1^6
x15^3*x17^2
x21*x15^5*x17^2
x15^2*x17
x21*x15^4*x17
x21*x15^3*x17
x21*x15^3
x21*x15^2
x21*x15
x21
x21
DEP
x22*(x21-1)-1
MAP
x1 x1
x2 x17^3*x15^6*x21*x1
x3 x15^10*x17^6*x21*x1
x4 x17^4*x15^7*x21*x1
IMAP
x1 x1
x15 x3/x4^3*x2^2
x17 x4^4/x2^3/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 4
x17 14
x15 26
C empty