ID: 306.0 Parent: 269.0 Tree
PDER
VAR\IND x1 x15 x17 x18
x1 1 0 0 0
x15 0 1 0 0
x17 0 0 1 0
x18 0 0 0 1
x19 0 -2*x17*x18^3*x15*x19
^2
-x18^3*x15^2*x19^2 -3*x17*x18^2*x15^2*x
19^2
FOCUS
x1^6*x15^28*x18^21*x17^5-x18^24*x15^30*x17^6*x1^6
x15^4*x18^3
x15^3*x18^2
x17*x15^3*x18^2
x18*x15^2
x17*x15^2*x18
x15
x17*x15
2*x17*x18^3*x15
x18^3*x15^2
3*x17*x18^2*x15^2
DEP
x19*(x17*x18^3*x15^2-1)-1
MAP
x1 x1
x2 x15^8*x18^6*x17*x1
x3 x17*x15^4*x18^3*x1
x4 x18^4*x15^5*x17*x1
IMAP
x1 x1
x15 1/x4^3*x2*x3^2
x17 x3^2/x1/x2
x18 x4^4/x3^3/x2
x19 x1*x2^2*x3^3/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
-x17*x18^3*x15^2+1 0
c 0
Nempty
(E,a)
Ea
x1 5
x17 4
x18 15
x15 20
C empty