Fedora 23 Update: ocaml-zarith-1.4.1-1.fc23

updates at fedoraproject.org updates at fedoraproject.org
Sun Dec 13 04:26:25 UTC 2015

Fedora Update Notification
2015-12-13 02:03:49.517001

Name        : ocaml-zarith
Product     : Fedora 23
Version     : 1.4.1
Release     : 1.fc23
URL         : http://forge.ocamlcore.org/projects/zarith
Summary     : OCaml interface to GMP
Description :
This library implements arithmetic and logical operations over
arbitrary-precision integers.

The module is simply named "Z".  Its interface is similar to that of the
Int32, Int64 and Nativeint modules from the OCaml standard library, with
some additional functions.  See the file z.mlip for documentation.

The implementation uses GMP (the GNU Multiple Precision arithmetic
library) to compute over big integers.  However, small integers are
represented as unboxed Caml integers, to save space and improve
performance.  Big integers are allocated in the Caml heap, bypassing
GMP's memory management and achieving better GC behavior than e.g. the
MLGMP library.  Computations on small integers use a special, faster
path (coded in assembly for some platforms and functions) eschewing
calls to GMP, while computations on large integers use the low-level
MPN functions from GMP.

Arbitrary-precision integers can be compared correctly using OCaml's
polymorphic comparison operators (=, <, >, etc.).

Additional features include:
- a module Q for rationals, built on top of Z (see q.mli)
- a compatibility layer Big_int_Z that implements the same API as Big_int,
  but uses Z internally

Update Information:

Changes in ocaml-zarith 1.4:  - Improvements to Q (using divexact) [Bertrand
Jeannet] - Fixed div_2exp bug [Bertrand Jeannet] - Improvements for divexact
[Bertrand Jeannet] - Added of_substring, with fast path for native integers
[Thomas Braibant] - Added Z.powm_sec (constant-time modular exponentiation) -
Reimplemented Z.to_float, now produces correctly rounded FP numbers - Added
Z.trailing_zeros. - Added Z.testbit, Z.is_even, Z.is_odd. - Added Z.numbits,
Z.log2 and Z.log2up. - PR$1467: Z.hash is declared as "noalloc" [Fran├žois Bobot]
- PR#1451: configure fix [Spiros Eliopoulos] - PR#1436: disable "(void)" trick
for unused variables on Windows [Bernhard Schommer] - PR#1434: removed
dependencies on printf & co when Z_PERFORM_CHECK is 0 [Hannes Mehnert] -
PR#1462: issues with Z.to_float and large numbers.  Changes in ocaml-zarith
1.4.1:  - Fixed ml_z_of_substring_base and Z.of_substring [Thomas Braibant] -
Integrated Opam fix for Perl scripts [Thomas Braibant]  alt-ergo, frama-c,
ocaml-tplib, and why3 updates are rebuilds for the new ocaml-zarith.

This update can be installed with the "yum" update program. Use
su -c 'yum update ocaml-zarith' at the command line.
For more information, refer to "Managing Software with yum",
available at https://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at

More information about the package-announce mailing list