declare(k,integer)
might be helpful here.
Do not be fooled into thinking this method is
more comprehensive than it really is.
RJF
Raymond Toy wrote:
>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
>
>_______________________________________________
>Maxima mailing list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima
>
>