gnu: mpfi: Edit synopsis & description.

* gnu/packages/multiprecision.scm (mpfi)[synopsis, description]: Edit.
Define several terms.  Use GMP instead of MP for consistency.
This commit is contained in:
Tobias Geerinckx-Rice 2018-01-19 00:03:05 +01:00
parent f89cebb1e6
commit 24a87a14e1
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -141,13 +141,16 @@ (define-public mpfi
(build-system gnu-build-system) (build-system gnu-build-system)
(propagated-inputs `(("gmp" ,gmp) ; <mpfi.h> refers to both (propagated-inputs `(("gmp" ,gmp) ; <mpfi.h> refers to both
("mpfr" ,mpfr))) ("mpfr" ,mpfr)))
(synopsis "C library for arbitrary precision interval arithmetic") (synopsis "C library for arbitrary-precision interval arithmetic")
(description "MPFI is intended to be a portable library written in C for (description
arbitrary precision interval arithmetic with intervals represented using MPFR "@dfn{MPFI} (Multiple Precision Floating-point Interval) is a portable C
reliable floating-point numbers. It is based on the GNU MP library and on the library for arbitrary-precision interval arithmetic, with intervals represented
MPFR library. The purpose of an arbitrary precision interval arithmetic is on using MPFR reliable floating-point numbers. It's based on the @dfn{GMP} (GNU
the one hand to get guaranteed results, thanks to interval computation, and on Multiple Precision Arithmetic) and GNU@tie{}@dfn{MPFR} (Multiple Precision
the other hand to obtain accurate results, thanks to multiple precision Floating-Point Reliably) libraries.
arithmetic.")
The purpose of arbitrary-precision interval arithmetic is to get results that
are both guaranteed, thanks to interval computation, and accurate, thanks to
multiple-precision arithmetic.")
(license lgpl2.1+) (license lgpl2.1+)
(home-page "https://perso.ens-lyon.fr/nathalie.revol/software.html"))) (home-page "https://perso.ens-lyon.fr/nathalie.revol/software.html")))