GNU MPFR

GNU MPFR es una biblioteca de cálculo aritmético multiprecisión de celda C en coma flotante con redondeo correcto . Es un software libre basado en GNU MP y mantenido para el proyecto GNU por Inria y la comunidad de hackers.

MPFR constituye un bloque de construcción esencial que se puede utilizar para construir un sistema de álgebra computacional .

Histórico

La primera versión pública de MPFR se distribuyó el 4 de febrero de 2000. Esta biblioteca de software fue desarrollada originalmente por Paul Zimmermann , quien también contribuyó al desarrollo de la biblioteca GMP . Los derechos de autor están asignados a la Free Software Foundation a partir de junio de 2000.

MPFR se convierte oficialmente en un proyecto GNU el 26 de enero de 2009 para el lanzamiento de la versión 2.4.0.

Características técnicas

La biblioteca está dedicada al cálculo de flotantes multiprecisión en base 2 con redondeo exacto. Los cálculos son eficientes y están bien definidos semánticamente. MPFR toma las buenas ideas del estándar ANSI / IEEE-754 sobre aritmética flotante con precisión fija. Más precisamente, sus principales características son:

• Soporte de números especiales: ceros con signo  (in) , infinito y no un número (solo se admite un NaN).
• Cada número tiene su propia precisión (en bits, ya que MPFR usa base 2). El resultado se redondea correctamente a la precisión de la variable de destino, en cualquiera de los cuatro modos de redondeo IEEE 754-1985 , así como en el modo de redondeo alejado de cero .
• Funciones compatibles: MPFR implementa todas las funciones matemáticas de C99 y otras funciones matemáticas habituales:
  • el logaritmo y la exponencial en base natural, base 2 y base 10,
  • log (1 + x) y exp (x) −1 ( log1py expm1),
  • las seis funciones trigonométricas e hiperbólicas , así como sus inversas,
  • gamma y logaritmo de gamma ,
  • digamma (también llamada función psi),
  • zeta ,
  • de error ,
  • Funciones de Bessel ,
  • la media aritmético-geométrica y
  • la exponenciación (x y ).

Todas estas funciones se redondean correctamente en todo su dominio de definición.

Los desnormalizados no son compatibles, pero se pueden emular con la función mpfr_subnormalize.

MPFR no puede seguir la precisión de los números en todo un programa o expresión: ese no es su propósito. El software para aritmética de intervalos como Arb o MPFI , o implementaciones Real RAM  (in) , como iRRAM , algunas de las cuales están basadas en MPFR son capaces de eso.

Comunidad GNU

• Presentación de las bibliotecas MPFR y MPC con motivo del encuentro de hackers GNU organizado por el laboratorio de investigación IRILL en París en agosto de 2011

Notas y referencias

Notas

1. La cuestión de hacer de MPC un paquete GNU se planteó durante la reunión entre MPFR y los desarrolladores de MPC en enero de 2011.

Referencias

1. "  https://sympa.inria.fr/sympa/arc/mpfr/2020-07/msg00003.html  "
2. (en) "Historia de MPFR y acontecimientos del pasado" , mpfr.org 21 de julio, 2011.
3. (en) "The MPFR Library: Credit" , mpfr.org , 21 de julio de 2011.
4. (en) "Colaboradores - GNU MP" , gmplib.org , 21 de julio de 2011.
5. (in) "GNU MPFR Version 2.4.0" , mpfr.org , 26 de enero de 2009.
6. (en) "GNU Hackers Meeting in Paris, 2011 ' , gnu.org , julio de 2011.
7. (in) "MPFR-MPC Developers Meeting 2011" , members.loria.fr , 13 y 14 de enero de 2011.

Apéndices

Artículos relacionados

• GNU MPC
• GNU MP

enlaces externos

• (es)  Sitio oficial
• Página del proyecto MPFR