Announce: GNU MPFR 4.0.0 is released
Vincent Lefevre
vincent at vinc17.net
Mon Dec 25 12:27:09 UTC 2017
GNU MPFR 4.0.0 ("dinde aux marrons"), a C library for
multiple-precision floating-point computations with correct rounding,
is now available for download from the MPFR web site:
http://www.mpfr.org/mpfr-4.0.0/
from InriaForge:
https://gforge.inria.fr/projects/mpfr/
and from the GNU FTP site:
https://ftp.gnu.org/gnu/mpfr/
Thanks very much to those who sent us bug reports and/or tested the
release candidate.
The SHA1 digests:
799245347044c8f0da9e513f86bb5e4c07974931 mpfr-4.0.0.tar.bz2
1bf74ee8dba8c5cc6be1e36c9cff8e45fce25460 mpfr-4.0.0.tar.gz
01cb1ad6514757236859d75fe1ff00c00ed22df2 mpfr-4.0.0.tar.xz
bcfb77334d77dce052f8b0d1fc8265a0453711b4 mpfr-4.0.0.zip
The SHA256 digests:
6aa31fbf3bd1f9f95bcfa241590a9d11cb0f874e2bb93b99c9e2de8eaea6d5fd mpfr-4.0.0.tar.bz2
f65bb6c295c8716ea06adc3c2aab2f0e6e410464ba5a86bfd10c6259e64876a2 mpfr-4.0.0.tar.gz
fbe2cd1418b321f5c899ce4f0f0f4e73f5ecc7d02145b0e1fd096f5c3afb8a1d mpfr-4.0.0.tar.xz
51971443c8170193d540d87515ce368c2d91c80f07d63fffa1bf22ee8c4b8500 mpfr-4.0.0.zip
The signatures:
http://www.mpfr.org/mpfr-4.0.0/mpfr-4.0.0.tar.xz.asc
http://www.mpfr.org/mpfr-4.0.0/mpfr-4.0.0.tar.bz2.asc
http://www.mpfr.org/mpfr-4.0.0/mpfr-4.0.0.tar.gz.asc
http://www.mpfr.org/mpfr-4.0.0/mpfr-4.0.0.zip.asc
Each tarball is signed by Vincent Lefèvre. This can be verified using
the DSA key ID 980C197698C3739D; this key can be retrieved with:
gpg --recv-keys 980C197698C3739D
or by downloading it from <https://www.vinc17.net/pgp.html>.
The key fingerprint is:
07F3 DBBE CC1A 3960 5078 094D 980C 1976 98C3 739D
The signatures can be verified with: gpg --verify <file.asc>
You should check that the key fingerprint matches.
Changes from versions 3.1.* to version 4.0.0:
- The "dinde aux marrons" release.
- MPFR now depends on GMP 5.0+ instead of 4.1+.
- API change:
Applications that call GMP's mp_set_memory_functions function to change
the allocators must first call the new function mpfr_mp_memory_cleanup
in all threads where MPFR is potentially used; this new function is
currently equivalent to mpfr_free_cache.
The reason is that the way memory allocation is done by MPFR has changed
(again), so that the current GMP allocators are used (since for some
applications, the old allocators may become invalid).
Note: Freeing the caches like this might have a performance impact on some
particular applications; if this is an issue, this could be handled for a
future MPFR version.
- Mini-gmp support via the --enable-mini-gmp configure option (experimental).
- The minimum precision MPFR_PREC_MIN is now 1, with rounding defined as
in the errata of IEEE 754-2008 and in the following IEEE 754 revision
(ties rounded away from zero).
- Shared caches for multithreaded applications.
New function mpfr_free_cache2.
- Partial support of MPFR_RNDF (faithful rounding).
- New functions: mpfr_fpif_export and mpfr_fpif_import to export and import
numbers in a floating-point interchange format, independent both on the
number of bits per word and on the endianness.
- New function mpfr_fmodquo to return the low bits of the quotient
corresponding to mpfr_fmod.
- New functions mpfr_flags_clear, mpfr_flags_set, mpfr_flags_test,
mpfr_flags_save and mpfr_flags_restore to operate on groups of flags.
- New functions mpfr_set_float128 and mpfr_get_float128 to convert from/to
the __float128 type (requires --enable-float128 and compiler support).
- New functions mpfr_buildopt_float128_p and mpfr_buildopt_sharedcache_p.
- New functions mpfr_rint_roundeven and mpfr_roundeven, completing the
other similar round-to-integer functions for rounding to nearest with
the even-rounding rule.
- New macro mpfr_round_nearest_away to add partial emulation of the
rounding to nearest-away (as defined in IEEE 754-2008).
- New functions mpfr_nrandom and mpfr_erandom to generate random numbers
following normal and exponential distributions respectively.
- New functions mpfr_fmma and mpfr_fmms to compute a*b+c*d and a*b-c*d.
- New function mpfr_rootn_ui, similar to mpfr_root, but agreeing with the
rootn function of the IEEE 754-2008 standard.
- New functions mpfr_log_ui to compute the logarithm of an integer,
mpfr_gamma_inc for the incomplete Gamma function.
- New function mpfr_beta for the Beta function (incomplete, experimental).
- New function mpfr_get_q to convert a floating-point number into rational.
- The mpfr_dump function is now described in the manual; its output format
has slightly changed.
- The mpfr_eint function now returns the value of the E1/eint1 function
for negative argument.
- The behavior of the mpfr_set_exp function changed, as it could easily
yield undefined behavior in some cases (this modifies both the API and
the ABI).
- In function mpfr_urandom, the next random state no longer depends on the
current exponent range and the rounding mode. The exceptions due to the
rounding of the random number are now correctly generated, following the
uniform distribution.
- Functions mpfr_grandom and mpfr_root are deprecated and will be removed
in a future release.
- Complete rewrite of function mpfr_sum, which now works in all cases (the
old one could take all the memory and/or crash with inputs of different
magnitudes in case of huge cancellation or table maker's dilemma). The
sign of an exact zero result is now specified, and the return value is
now the usual ternary value. Note that the position of "const" in the
mpfr_sum prototype has been fixed (the manual was correct); user code
should not be affected.
- Old, deprecated macros mpfr_add_one_ulp and mpfr_sub_one_ulp removed.
The mpfr_next* functions should be used instead.
- Internally, improved caching: a minimum of 10% increase of the precision
is guaranteed to avoid too many recomputations.
- Added internal small-precision mpz_t pool, which aims to avoid the
overhead of memory allocation, in particular.
New function mpfr_free_pool.
- Added configure option --enable-assert=none to avoid checking any assertion.
- The --enable-decimal-float configure option no longer requires
--with-gmp-build, and support for decimal floats is now automatically
detected by default (similarly for support for __float128).
- Updated tuning parameters.
- Better support for Automake 1.13+ (now used to generate the tarball).
- Dropped K&R C compatibility.
- Improved MPFR manual.
- New MPFRbench program (see the tools/bench directory).
- Major speedup in mpfr_add, mpfr_sub, mpfr_mul, mpfr_div and mpfr_sqrt when
all operands have the same precision and this precision is less than twice
the number of bits per word, e.g., less than 128 on a 64-bit computer.
- Speedup by a factor of almost 2 in the double <--> mpfr conversions
(mpfr_set_d and mpfr_get_d).
- Speedup in mpfr_log1p and mpfr_atanh for small arguments.
- Speedup in the mpfr_const_euler function (contributed by Fredrik Johansson),
in the computation of Bernoulli numbers (used in mpfr_gamma, mpfr_li2,
mpfr_digamma, mpfr_lngamma and mpfr_lgamma), in mpfr_div, in mpfr_fma
and mpfr_fms.
- Test coverage: 96.3% lines of code.
- Bug fixes. In particular: a speed improvement when the --enable-assert
or --enable-assert=full configure option is used with GCC; mpfr_get_str
now sets the NaN flag on NaN input and the inexact flag when the conversion
is inexact. For a full list, see http://www.mpfr.org/mpfr-3.1.6/#fixed
and the same section for any previous 3.1.x version (follow the links
in the "Changes..." sections).
- Microsoft Windows: Added support for thread-safe DLL (shared library).
Tested with MinGW, ICC and MSVC.
- Limited pkg-config support.
- Autotools: Under Linux, make sure that the old dtags (when supported)
are used if LD_LIBRARY_PATH is defined; otherwise "make check" would
check an installed, compatible MPFR library found in LD_LIBRARY_PATH
instead of the one that has been built with "make".
- New: optional "make check-gmp-symbols", mainly for binary distributions,
to check that MPFR does not use GMP internal symbols (experimental).
You can send success and failure reports to <mpfr at inria.fr>, and give
us the canonical system name (by running the "./config.guess" script),
the processor and the compiler version, in order to complete the
"Platforms Known to Support MPFR" section of the MPFR 4.0.0 web page.
I wish you a merry Christmas and happy holidays,
Regards,
--
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
More information about the gmp-discuss
mailing list