Python 在symphy中如何使用和表示微分算子？

我试图理解sympy，但在表达和/或使用各种罗德里格斯式公式时遇到困难。我想表达的例子如下：

# x - variable
# n - integer
# H - Hermite polynomials
# E - exponential function "e**x"
# D - differential operator of x

assert H(n,x) == (-1)**n*E(x**2)*D**n*E(-x**2)
assert H(n,x) == (E(-D**2)*x**n)(2*x)

一般来说，在多项式上表示微分算子和/或线性算子似乎是一个整体问题。如何在symphy中创建一个无穷阶微分算子？如何比较运算符？是否有运算符简化的表示法？例如，一般来说，我们知道

assert E(t*D)*f(x) == f(x+t)

---

Symphy是否有能力将这个微分算子表示并简化为线性移位算子？或者至少要知道它们是相等的？

在Symphy中没有您要查找的类型的微分运算符（尽管可以添加）。sympy可能已经可以用不同的方式做你想做的事情了，但是为了更广泛的讨论，我建议使用sympy邮件列表。lol，你跟着我到stackoverflow。谢谢你的建议。我想在打扰发行版之前我应该试试这里。