Integral of Taylor expansions



Robert Dodier wrote:
> 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);
> 

I haven't check yet, but I'm guessing that integrate things at is some 
hairy function.  Presumably integrate should just pretend at is a constant.

Ray