Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/talex5/zarith

zarith with fixes for Mirage
https://github.com/talex5/zarith

Last synced: 6 days ago
JSON representation

zarith with fixes for Mirage

Awesome Lists containing this project

README 

        
OVERVIEW:



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 intergers use the low-level MPN functions from GMP.



Arbitrary-precision integers can be compared correctly using OCaml's 

polymorphic comparison operators (=, <, >, etc.). 

This requires OCaml version 3.12.1 or later, though.



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



REQUIREMENTS:



- OCaml, preferably version 3.12.1 or later.  

(Earlier versions are usable but generic comparisons will misbehave.)

- Either the GMP library or the MPIR library, including development files.

- The GNU C compiler (gcc) and assembler.

- The Perl programming language.

- (optional) The Findlib package manager.



INSTALLATION:



1) First, run the "configure" script by typing:



   ./configure



2) It creates a Makefile, which can be invoked by:



   make



This builds native and bytecode versions of the library.



3) The libraries are installed by typing:



   make install



or, if you install to a system location but are not an administrator



   sudo make install



If Findlib is detected, it is used to install files. 

Otherwise, the files are copied to a zarith subdirectory of the directory 

given by `ocamlc -where`.

The libraries are named "zarith.cmxa" and "zarith.cma", and the Findlib module

is named "zarith". 

Compiling and linking with the library requires passing the "-I +zarith" 

option to ocamlc / ocamlopt.

The "configure" script has a few options. Use the "-help" option to get a

list and short description of each option.



4) (optional) 

HTML API documentation is built (using ocamldoc) by the additional command



  make doc



Test programs are built by the additional command



  make tests



(but these are  not installed).



LICENSE:



This Library is distributed under the terms of the GNU Library General

Public License version 2, with a special exception allowing unconstrained 

static linking. 

See LICENSE file for details.



AUTHORS:



Antoine Miné, ENS Paris.

Xavier Leroy, INRIA Paris-Rocquencourt.

Pascal Cuoq, CEA LIST.



COPYRIGHT:



Copyright (c) 2010-2011 Antoine Miné, Abstraction project.

Abstraction is part of the LIENS (Laboratoire d'Informatique de l'ENS),

a joint laboratory by:

CNRS (Centre national de la recherche scientifique, France),

ENS (École normale supérieure, Paris, France),

INRIA Rocquencourt (Institut national de recherche en informatique, France).



CONTENTS:



The source files are:

* configure         - configuration script

* caml_z.c          - C implementation of all functions

* caml_z_*.S        - asm implementation for a few functions

* z_pp.pl           - script to generate z.ml[i] from z.ml[i]p

* z.ml[i]p          - templates used to generate z.ml[i]p

* big_int_z.ml[i]   - wrapper to provide a Big_int compatible API to Z

* q.ml[i]           - rational library, pure OCaml on top of Z

* test.ml           - simple test

* bitest.ml         - consistency test between Z and Big_int

* projet.mak        - builds Z, Q and the tests



Note: z_pp.pl simply scans the asm file (if any) to see which functions have

an asm implementation. It then fixes the external statements in .mlp and 

.mlip accordingly.

The argument to z_pp.pl is the suffix * of the caml_z_*.S to use (guessed by

configure).