Python是否有一个包来解决使用递归关系定义的序列？

Python是否有一个包来解决使用递归关系定义的序列

例如，“Maxima”可以直接使用软件包“solve_rec”求解递归关系

Python是否也有类似的功能

最大值代码：

kill(all);

load("solve_rec")$ 

a[n]-a[n-1]-a[n-2]=0;

solve_rec(%, a[n],a[1]=2,a[2]=3);

输出：

a[n]-a[n-1]-a[n-2]=0

 a[n]=((sqrt(5)+1)^n*(3*sqrt(5)+5)*2^(-n-1))/5-((sqrt(5)-1)^n*(3*sqrt(5)-5)*2^(-n-1)*(-1)^n)/5

---

这种递推关系是线性齐次的。线性齐次递推关系是一类特殊的递推关系，相对容易求解（至少是手工求解）。然而，并不是所有的递归关系都有封闭的形式，在那些封闭的形式中，并不是所有的递归关系都属于计算机可以常规求解的特殊类别。Python没有内置的递归关系解算器，也不能用Python编写任何可以解决任意递归关系的模块