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?