Maxima can currently evaluate integrate(x^k/(x+3),x,0,inf), if you
tell answer a few questions about k. In particular, maxima wants the
sign of k+1, the sign of k, and wants to know if k is an integer. The
first two I know I can use assume(k < 0, k+1>0) to tell maxima the
properties I want.
But how do I tell maxima that k is not an integer? (Actually, in this
case, it doesn't matter if k is an integer or not, but maxima wants to
know anyway.)
I want to add this test to the set of tests from Wang's thesis, but I
can't because I don't know how to tell maxima k is not an integer.
Thanks,
Ray