Extension of the integrator - special functions



This approach is in fact done by Yannis' code in maxima, as well as 
competing code in Maple and Mathematica.

big problem is in recognizing that some hypergeometric function   (or 
Meier G function) is really something
like cos()*bessel()   etc.


RJF
Barton Willis wrote:
> I know nothing about pattern matching mechanism in the integration
> code, but I wonder if an alternative to special-casing dozens of
> special functions would be to convert the special functions to
> hypergeometric form, (try to) integrate, (optionally) convert from
> hypergeometric form to special function (Bessel, ...)  form? There are
> dozens of special functions--building pattern matching for all of
> them seems like a great deal of (error-prone) work.
>
> Barton
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>