did you look in the Macsyma manual online? I don't know if it
is any better.
But you would likely have to write the rules as
Bessel_j(N,Z) ---> sum of bessels.
rather than
sum --> single
The latter would require some kind of heuristic backup matching.
Not done by this matcher.
Billinghurst, David (CALCRTS) wrote:
>I would like to simplify some expressions involving Bessel
>functions using recurrences relationships like
>
> bessel_j(nu-1,z)+bessel_j(nu+1,z) = 2/nu * bessel_j(nu,z)
> bessel_y(nu-1,z)+bessel_y(nu+1,z) = 2/nu * bessel_y(nu,z)
>
>I have read the "Rules and Patterns" section of the maxima manual,
>but I still don't get it. Are there any examples or other documentation?
>
>_______________________________________________
>Maxima mailing list
>Maxima@www.math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima
>
>