文件名称：formal-weyl:Weyl代数元素中形式幂级数的代数
文件大小：17KB
文件格式：ZIP
更新时间：2024-05-18 23:00:08
Haskell
正式的 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的“创造-歼灭的组合模型”进行解释，网址为 地位 这是一个完成的项目，但是代码不完整。 该代码不是完美的，但它允许我执行某些我想尝试的计算。 一些可以改进的地方 输出格式 （当然）除法是部分功能。 在这种情况下，我们有左除法和右除法，并且我没有做出任何努力来表征确切的除法时间。 显示两个序列共享前几个系数并不能证明该序列相等。 除非是（!!!），否则您可以先证明其他一
【文件预览】：
formal-weyl-master
----README.md(1KB)
----Padded.hs(812B)
----Example3.lhs(2KB)
----Example4.lhs(1KB)
----Formal.hs(4KB)
----Test.hs(2KB)
----ISqrt2.hs(2KB)
----Example1.lhs(1KB)
----Example2.lhs(2KB)
----LeftDivide.hs(954B)
----Weyl.hs(6KB)
----Example0.lhs(3KB)
----MShow.hs(2KB)
----Main.hs(2KB)
----Poly.hs(5KB)
----Over.hs(343B)