Hello,
With current cvs source code, I see the following.
This is pulled from tests/rtestint.mac.
(assume(kj<0,kj+1>0),0);
(declare(kj,noninteger),0);
integrate(x*exp((kj+1)*x)/(exp(x)+3),x,minf,inf);
=> Is %e^kj-1 positive, negative, or zero?
After responding (response doesn't make a difference) the output is
3^kj*(psi[0](kj+1)-psi[0](-kj))*beta(kj+1,-kj)+log(3)*3^kj*beta(kj+1,-kj)
Older versions (more than a few days) didn't trigger asksign,
so far as I can tell (i.e. it's not that asksign was called before
and deduced the sign of exp(kj) - 1 without asking).
With the stated assumptions, sign(exp(kj) - 1) should return neg
but it returns pnz (in new and old versions, from what I can tell).
Is anybody else seeing this? If so, is it OK or not OK?
best
Robert Dodier