|File Search||Catalog||Content Search|
The basic principle of interval arithmetic consists in enclosing every number by an interval containing it and being representable by machine numbers: for instance it can be stored as its lower and upper endpoints and these bounds are machine numbers, or as a centre and a radius which are machine numbers.
The arithmetic operations are extended for interval operands in such a way that the exact result of the operation belongs to the computed interval.
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.
$Date: 2003/05/25 09:33:09 $ $Name: $ $Revision: 126.96.36.199 $ To install MPFI library : ./configure extra options (read INSTALL for general options) --with-gmp-dir=<gmp installation directory>
Copyright 1999, 2000, 2001, 2002 Spaces project, Inria Lorraine and Arenaire project, Inria Rhone-Alpes, France and Lab. ANO, USTL (Univ. of Lille), France This file is part of the MPFI Library. The MPFI Library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free S more»
mpfi (1.3.3-3) unstable; urgency=low * Apply mpfr-2.2.0 compatibility patch supplied by Patrick Pelissier (closes: #336703). -- Laurent Fousse <firstname.lastname@example.org> Tue, 1 Nov 2005 11:13:48 +0100 mpfi (1.3.3-2) unstable; urgency=low * Changed packaging to use cdbs. * Applied patch by Guillaume Melquiond to make mpfi usable with C++ code. * The description is now more explicit on more»
Nathalie Revol Nathalie.Revol@ens-lyon.fr Fabrice Rouillier Fabrice.Rouillier@loria.fr
This package was debianized by Laurent Fousse <email@example.com> on Wed, 10 Aug 2005 15:47:28 +020 more»