文件名称：cf:使用连续分数对Haskell进行“精确”实数运算（未经正式证明正确）
文件大小：15KB
文件格式：ZIP
更新时间：2024-05-31 18:09:15
Haskell
碳纤维 该程序包实现了Gosper算法，用于对（通常是无限的）连续分数进行算术运算。 这使我们能够进行任意精度的计算，而无需事先确定我们需要多少精度。 在Vuillemin之后，我们的连续分数可能包含零和负项，因此可以支持Floating中的功能。 CF类型具有以下类型类的实例。 Eq Ord Num Fractional RealFrac Floating （当前缺少asin ， acos ， atan ） 因为实数的相等性不可计算，所以我们考虑两个数==如果它们比epsilon = 1 ^10更近。 由于相同的原因，当参数在整数的epsilon范围内时， floor及其表亲可能会给出错误的结果。 参考 Gosper，RalphW。“连续分数算术”。 HAKMEM项目101B，麻省理工学院人工智能备忘录239（1972）。 预约定价安排 Vuillemin，Jea
【文件预览】：
cf-master
----.gitignore(112B)
----README.md(1KB)
----Setup.hs(46B)
----tests()
--------Tests.hs(984B)
----cf.cabal(1KB)
----LICENSE(1KB)
----wip()
--------Effective.hs(13KB)
----src()
--------Math()