cf:使用连续分数对Haskell进行“精确”实数运算(未经正式证明正确)

时间:2024-05-31 18:09:15
【文件属性】:

文件名称: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()

网友评论