Fedora 17 Update: mpfi-1.5.1-1.fc17

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-2092
2012-02-21 02:13:22
--------------------------------------------------------------------------------

Name        : mpfi
Product     : Fedora 17
Version     : 1.5.1
Release     : 1.fc17
URL         : http://perso.ens-lyon.fr/nathalie.revol/software.html
Summary     : An interval arithmetic library based on MPFR
Description :
MPFI is intended to be a portable library written in C for arbitrary
precision interval arithmetic with intervals represented using MPFR
reliable floating-point numbers. It is based on the GNU MP library and
on the MPFR library and is part of the latter. The purpose of an
arbitrary precision interval arithmetic is on the one hand to get
"guaranteed" results, thanks to interval computation, and on the other
hand to obtain accurate results, thanks to multiple precision
arithmetic. The MPFI library is built upon MPFR in order to benefit
from the correct roundings provided by MPFR. Further advantages of
using MPFR are its portability and compliance with the IEEE 754
standard for floating-point arithmetic.

--------------------------------------------------------------------------------
Update Information:

Changes in this version:
- fix bug in mpfi_sub_fr (reported by Takayuki YAMAGUCHI)
- now require at least GMP version 4.1.0 and MPFR version 2.4.2
- new symbols MPFI_VERSION_MAJOR, MPFI_VERSION_MINOR, MPFI_VERSION_PATCHLEVEL, and MPFI_VERSION_STRING in mpfi.h
- detect availability of mpfr_z_sub, mpfr_z_div, and mpfr_q_sub and use a custom implementation for the ones not provided by MPFR (mpfr_z_sub appeared in MPFR 3.1.0, the other ones are used in tests only)
- code cleanup (unused variables)
- tadd_q does no more check overflow by default (required too much memory)
- sign of zeros choice documented

--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update mpfi' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------