formal-weyl:Weyl代数元素中形式幂级数的代数

正式的 Weyl代数元素中形式幂级数的代数。 特别地，它允许表达式exp（z *（a ^ 2-a'^ 2）/ 2）的泰勒展开，其中a和a'不上下班，[a，a'] = 1。 例子 例0：威克定理和接线图 例1：伯努利数和欧拉-麦克劳伦求和 例2：具有Laguerre和Hermite多项式的Umbral演算 例3：QM的例子-压缩状态的性质 例4：研究X和D的各种有理函数 其中许多结果可以通过Blasiak和Flajolet的“创造-歼灭的组合模型”进行解释，网址为 地位 这是一个完成的项目，但是代码不完整。 该代码不是完美的，但它允许我执行某些我想尝试的计算。 一些可以改进的地方 输出格式 （当然）除法是部分功能。 在这种情况下，我们有左除法和右除法，并且我没有做出任何努力来表征确切的除法时间。 显示两个序列共享前几个系数并不能证明该序列相等。 除非是（!!!），否则您可以先证明其他一