Introdução a solve_rec (Manual do Maxima)

70.1, Introdução a solve_rec

solve_rec é um pacote para resolver recorrências lineares com coeficientes polinomiais.

Um arquivo de domostração está disponivel com demo(solve_rec);.

Exemplo:

(%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)