Paquet : libmpfi-dev (1.5.4+ds-4)

[ Paquet source : mpfi  ]

multiple precision floating-point interval computation library -- libdev

This package provides a C library of functions for interval arithmetic computations with arbitrary precision.

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.

This package provides the static library and symbolic links needed for development.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libmpfi-dev

• dep: libgmp-dev

  Multiprecision arithmetic library developers tools

• dep: libmpfi-dev-common (= 1.5.4+ds-4)

  multiple precision floating-point interval computation library -- headers

• dep: libmpfi0 (= 1.5.4+ds-4)

  multiple precision floating-point interval computation library -- lib

• dep: libmpfr-dev

  multiple precision floating-point computation developers tools

Télécharger libmpfi-dev

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	31,3 ko	315,0 ko	[liste des fichiers]
arm64	31,5 ko	342,0 ko	[liste des fichiers]
armel	25,0 ko	211,0 ko	[liste des fichiers]
armhf	25,5 ko	195,0 ko	[liste des fichiers]
i386	34,1 ko	274,0 ko	[liste des fichiers]
mips64el	33,1 ko	411,0 ko	[liste des fichiers]
ppc64el	34,6 ko	340,0 ko	[liste des fichiers]
riscv64	80,9 ko	955,0 ko	[liste des fichiers]
s390x	28,4 ko	315,0 ko	[liste des fichiers]