Am Mittwoch, den 25.03.2009, 22:40 +0100 schrieb Dieter Kaiser:
> When I implement a function simplim%gamma_incomplete to handle specific
> values for the gamma_incomplete function the problem for integrals which
> involve gamma_incomplete vanish.
Furthermore, with the implementation of a simplim%gamma_incomplete
routine we get some better simplifications.
This example from rtestint.mac would simplify to the expected result
(now we have a limit with gamma_incomplete in the result):
(%i15) assume(k1>0)$
(%i16) integrate((-log(x))^k1,x,0,1);
(%o16) gamma(k1+1)
One more example:
(%i17) integrate(log(x)^k1,x,0,1);
(%o17) gamma(k1+1)/(-1)^k1
I think, it might be a good idea to implement such simplim functions to
help Maxima to get the correct limits for special functions.
Dieter Kaiser