您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Zarith:Zarith库对任意精度的整数和有理数进行算术和逻辑运算。 基于GMP的实施非常有效-源码

  2. 扎里斯图书馆 概述 该库对任意精度整数实现算术和逻辑运算。 该模块简称为Z 它的接口类似于OCaml标准库中的Int32 , Int64和Nativeint模块的接口,并具有一些附加功能。 有关文档,请参见文件z.mlip 。 该实现使用GMP(GNU多精度算术库)来计算大整数。 但是,小整数表示为未装箱的Caml整数,以节省空间并提高性能。 大整数在Caml堆中分配,绕过GMP的内存管理,并且比MLGMP库具有更好的GC行为。 小整数的计算使用特殊的较快路径(在C或OCaml中),避免调用
  3. 所属分类:其它

    • 发布日期:2021-02-12
    • 文件大小:104448
    • 提供者:weixin_42121272