Integral of Taylor expansions



On 4/24/08, marco restelli <mrestelli at gmail.com> wrote:

>  pT : taylor(p(s),s,0,1);
>  pT : ratsimp(pT);
>  pbar : integrate(pT,s,-l/2,l/2);
>  maxima starts computing and never delivers any result.

Looks like integrate gets stuck in INTSETUP (src/risch.lisp).
Maybe someone can take a look at that.

A shorter example which shows the same behavior --

integrate ('at ('diff (p (s), s), s=0), s);

Hope this helps,

Robert Dodier