Team Arénaire

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Software

GNU MPFR: a multiple-precision floating-point library with correct rounding

Participants : Vincent Lefèvre, Philippe Théveny.

GNU MPFR is an efficient multiple-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE-754 standard), in particular correct rounding. GNU MPFR provides about 80 mathematical functions, in addition to utility functions (assignments, conversions...). Special data (Not a Number , infinities, signed zeros) are handled like in the IEEE-754 standard.

Since the end of 2006, it has become a joint project between the Arénaire and CACAO project-teams. MPFR became a GNU package on 26 January 2009, with the release of GNU MPFR 2.4.0. GNU MPFR 2.4.1 and 2.4.2 were released on 25 February 2009 and 30 November 2009 respectively. On 3 March 2009, the trunk switched from LGPL version 2.1 or later to LGPL version 3 or later.

The main changes done in 2009 on the Arénaire side are bug fixes, better portability, more tests and the distribution of examples with MPFR.

Moreover an ODL (Opération de Développement Logiciel ) called MPtools had been supported by the INRIA between September 2007 and August 2009: An engineer, Philippe Théveny, was hired to work on MPFR in particular. He was in the CACAO project-team, but in addition to the collaboration by e-mail, Philippe came in Lyon for a few days in January 2008 and in May 2009, and an MPtools meeting took place in Paris in September 2008. Philippe has been in Arénaire since October 2009.

Many software systems use MPFR. The most common one is GCC, which, as of its version 4.3.0 released in March 2008, now even requires MPFR (the use of MPFR was previously optional).

Status: stable / Target: any / License: LGPL / OS: Unix, Windows (Cygwin or MinGW) / Programming Language: C / URL:


Logo Inria