Implementing an interval computation library for OCaml on x86/amd64 architectures

Jean-Marc Alliot (1) , Jean-Baptiste Gotteland (1, 2) , Charlie Vanaret (3, 2) , Nicolas Durand (1, 2) , David Gianazza (1, 2)

1 IRIT-APO - Algorithmes Parallèles et Optimisation
2 MAIAA - ENAC - Laboratoire de Mathématiques Appliquées, Informatique et Automatique pour l'Aérien
3 IRIT - Institut de recherche en informatique de Toulouse

In this paper, we present two implementations of interval arithmetic for OCaml on x86/amd64 architectures. The first implementation is a binding to the classical MPFI/MPFR library. It provides access to multi-precision floating-point arithmetic and multi-precision floating-point intervalarithmetic. The second implementation has been natively written in assembly language for low-level functions and in OCaml for higher-levelfunctions. It has proven as fast as classical C or C++ implementations.

Domaines: Optimisation et contrôle [math.OC]

Jean-Marc Alliot, Jean-Baptiste Gotteland, Charlie Vanaret, Nicolas Durand, David Gianazza. Implementing an interval computation library for OCaml on x86/amd64 architectures. OUD 2012, OCaml Users and Developers workshop, Sep 2012, Copenhagen, Denmark. ⟨hal-00934812⟩