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。