num

大整数和理性的算术库库

概述

该库在大整数和理性上实现了任意推荐的算术。

这是一个遗留图书馆。它曾经是Core OCAML分布的一部分（在otherlibs/num中），但现在分别分别分布。需要任意推荐算术的新应用程序应使用Zarith库（https://github.com/ocaml/zarith）代替NUM库，并鼓励已经使用NUM的较旧的应用程序切换到Zarith。 Zarith的性能比NUM更好，并且具有更好的API。

用法

要使用您的程序中的Bignum库，建议使用OcamlFind：

    ocamlfind ocamlc -package num ...
    ocamlfind ocamlopt -package num ...

或者，您可以做

    ocamlc <options> nums.cma <.cmo and .ml files>
    ocamlopt <options> nums.cmxa <.cmx and .ml files>

为了高级使用，只需发出命令

    #use "topfind";;
    #package "num";;

或者

    #load "nums.cma";;

文档

以下模块在其界面中记录了：

• Big_int ：任意精确整数的操作
• Num ：任意推荐数字（整数和理由）的操作
• Arith_status ：控制有理算术的标志

有关此图书馆提供的功能的更多文档可以在ValérieMénissier-Morain的CAML号参考手册中找到，Inria技术报告141，1992年7月，http：//hal.inria.fr/docs/00/00/00/07/07/00/ 27/pdf/rt-0141.pdf

汇编和安装

先决条件：OCAML版本4.04或更新。

        make all PROFILE=release
        make test
        make install
        make clean

历史

该库源自ValérieMénissier-Morain实施CAML v3.1的合理算术。 Xavier Leroy做了CAML灯端口。 Victor Manuel Gulias Fernandez进行了最初的CAML Special Light / Ocaml港口。皮埃尔·韦斯（Pierre Weis）进行了大部分的维护和错误修复。

最初，低级大整数操作是由Bernard Serpette，Jean Vuillemin和Jean-ClaudeHervé（Inria和Digital Prl）开发的Bignum软件包。许可问题迫使我们更换了Bignum软件包。低级大整数操作的当前实施归功于Xavier Leroy。