ID: 327.0 Parent: 321.0 Tree
PDER
VAR\IND x17 x7 x15 x16
x7 0 1 0 0
x15 0 0 1 0
x16 0 0 0 1
x17 1 0 0 0
x18 -3*x17^2*x16^2*x18^2
0 0 -2*x17^3*x16*x18^2
FOCUS
x7^6*x15^9*x16^13*x17^9-x17^12*x16^15*x15^9*x7^6
x15*x17^2*x16^2*x7
x7
x15*x17*x16*x7
x15*x17^2*x16^2
x15*x16
x16
3*x17^2*x16^2
2*x17^3*x16
DEP
x18*(x17^3*x16^2-1)-1
MAP
x1 x17^4*x16^5*x15^3*x7^2
x2 x7^2*x15^2*x16^3*x17^2
x3 x15^3*x17^3*x16^4*x7^2
x4 x15^2*x16^3*x17^2*x7
IMAP
x7 x2/x4
x15 x3^2/x2/x1
x16 x2/x3^2*x4^2
x17 x1*x3/x2/x4^2
x18 -x2*x3*x4^2/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
-x17^3*x16^2+1 0
c 0
Nempty
(E,a)
Ea
x7 4
x17 5
x15 5
x16 7
C empty