Howto simplify Integral with jacobi polynomials



On Thursday 10 July 2008, Barton Willis wrote:
> -----maxima-bounces at math.utexas.edu wrote: -----
>
> >  I, for one, would like it if the documentation gave some definition for
>
> each of the
>
> >orthogonal polynomials.
>
> The clearest way to do this would be to express each function in terms
> of a hypergeometric function, I think.
>
> A great deal has changed since I last worked with the Maxima user
> documentation. And I've forgotten most everything I once knew about
> texinfo. I suppose I should try CLISP, but I'm no longer able to build
> GCL using mingw---I'm not currently able to test changes in the user
> documentation :).  I've resisted switching to CLISP because gotten the
> impression that Maxima + CLISP is slow (and because I'm too lazy to
> try...)
>
> As for the non-free references---well A&S doesn't cover everything in
> orthopoly. I'm unaware of a free alternative.
>
> And yes, if you need to integrate products of Jacobi polynomials,
> you'll need to invent your own solution.

I have derived some formulas by hand for the integration of products
of jacobi polynomials with different parameters. 

But couldn't the builtin simplification at least
simplify he defining orthonality relations?

Andre

P.S.
I have a little dream:
users missing a simplification could post a proof (.pdf) to the maxima wiki. 
If the proof is accepted maxima could use the simplification rule
and the source could refer to the pdf.
This could really built up a nice free library.