num

大きな整数と合理的な算術のためのnumライブラリ

概要

このライブラリは、大きな整数と理論的に任意の前提条件を実装します。

これはレガシーライブラリです。以前は、コアOCAML分布の一部でした（ otherlibs/num ）が、現在は個別に分布しています。任意の前提条件算術が必要な新しいアプリケーションは、numライブラリの代わりにZarithライブラリ（https://github.com/ocaml/zarith）を使用する必要があります。また、既に使用している古いアプリケーションは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 ：合理的な算術を制御するフラグ

このライブラリで提供されている機能に関するその他のドキュメントは、1992年7月、http://hal.inria.fr/docs/00/07/00/で、ValérieMénissier-Morain、Inria Technical Report 141、Inria Technical Report 141によるCAML番号リファレンスマニュアルにあります。 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 Lightポートを行いました。 Victor Manuel Gulias Fernandezは、最初のCAML Special Light / OCAMLポートを行いました。 Pierre Weisは、メンテナンスとバグの修正のほとんどを行いました。

当初、低レベルのビッグ整数操作は、バーナードセルペット、ジャンヴィレミン、ジャンクロードヘルベ（INRIAおよびDigital PRL）によって開発されたBignumパッケージによって提供されました。ライセンスの問題により、Bignumパッケージを交換する必要がありました。低レベルのビッグ整数操作の現在の実装は、Xavier Leroyによるものです。