هذه المكتبة تنفذ الحساب التعسفي على الأعداد الصحيحة الكبيرة وعلى العقلانية.
هذه مكتبة قديمة. كان جزءًا من توزيع OCAML الأساسي (في otherlibs/num
) ولكن يتم توزيعه الآن بشكل منفصل. يجب أن تستخدم التطبيقات الجديدة التي تحتاج إلى حساب تعسفي لمكتبة Zarith (https://github.com/ocaml/zarith) بدلاً من مكتبة NUM ، ويتم تشجيع التطبيقات القديمة التي تستخدم NUM بالفعل على التبديل إلى Zarith. يقدم Zarith أداء أفضل بكثير من NUM ولديه واجهة برمجة تطبيقات أجمل.
لاستخدام مكتبة 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>
للاستخدام toplevel ، فقط إصدار الأوامر
#use "topfind";;
#package "num";;
أو
#load "nums.cma";;
تم توثيق الوحدات التالية في واجهاتها:
Big_int
: عمليات على أعداد صحيحةNum
: عمليات على أرقام الدقة التعسفية (الأعداد الصحيحة والعقلانية)Arith_status
: أعلام تتحكم في الحساب العقلانييمكن العثور على مزيد من الوثائق حول الوظائف الواردة في هذه المكتبة في دليل مرجع أرقام CAML بواسطة Valérie Ménissier-Morain ، التقرير الفني INRIA 141 ، يوليو 1992 ، http://hal.inria.fr/docs/00/07/00/00/ 27/pdf/rt-0141.pdf
المتطلبات الأساسية: OCAML الإصدار 4.04 أو الأحدث.
make all PROFILE=release
make test
make install
make clean
هذه المكتبة مستمدة من تنفيذ Valérie Ménissier-Morain للحساب العقلاني لـ CAML V3.1. فعل كزافييه ليروي منفذ ضوء CAML. قام فيكتور مانويل غولياس فرنانديز بمنفذ CAML الخاص بالضوء / OCAML الأولي. قام بيير فايس بمعظم صيانة وتحديد الأخطاء.
في البداية ، تم توفير عمليات Integer ذات المستوى المنخفض من خلال حزمة Bignum التي طورتها Bernard Serpette و Jean Vuillemin و Jean-Claude Hervé (INRIA و Digital PRL). أجبرتنا قضايا الترخيص على استبدال حزمة Bignum. يرجع التنفيذ الحالي لعمليات عدد صحيح منخفض المستوى منخفضة إلى كزافييه ليروي.