#3040 asks redundant questions it should not be asking

[dan hayes]

wxMaxima version: 13.4.0
Maxima version: 5.31.1
Maxima build date: 2013-09-24 09:49:12
Host type: i686-pc-mingw32
Lisp implementation type: GNU Common Lisp (GCL)
Lisp implementation version: GCL 2.6.8

Asking redundant questions it should NOT be asking. All information is clearly given in declarations and
assumptions in the statement input.

(kill(a,i,k,nps,r,s1,s2),declare([j,s1,s2],integer),assume(a>0,s1>-1,s2>-1,j>-1),er:exp(-ar^2/2) ,tad:integrate(r^(2j+2(1
+s1+s2))er^2,r,0,inf),tij:j(j+1)integrate(r^(2(j+s1+s2))er^2,r,0,inf)+integrate(diff(r^(j+2+2s1)er,r)diff(r^(j+2s2)
er,r),r,0,inf)+2integrate(r^(j+2s2)erdiff(r^(j+1+2s1)*er,r),r,0,inf))

Then it asks is:

2s2+2s1+2j+3 pos,neg or 0 ?
is 2s2+2s1+2j+1 pos,neg or 0 ?
is 2s2+2s1+2j+5 pos,neg or 0 ?

From my given it is clear that all 3 can be nothing other than positive.