82.1 Introduction to solve_rec ============================== 'solve_rec' is a package for solving linear recurrences with polynomial coefficients. A demo is available with 'demo("solve_rec");'. Example: (%i1) load("solve_rec")$ (%i2) solve_rec((n+4)*s[n+2] + s[n+1] - (n+1)*s[n], s[n]); n %k (2 n + 3) (- 1) %k 1 2 (%o2) s = -------------------- + --------------- n (n + 1) (n + 2) (n + 1) (n + 2)