all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: mpfi  ]

Package: libmpfi-dev (1.5.1+ds-4)

Links for libmpfi-dev

Screenshot

Debian Resources:

Download Source Package mpfi:

Maintainers:

External Resources:

Similar packages:

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.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libmpfi-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libmpfi-dev

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 33.9 kB420.0 kB [list of files]
amd64 30.7 kB320.0 kB [list of files]
arm64 25.4 kB273.0 kB [list of files]
armel 24.8 kB215.0 kB [list of files]
armhf 25.1 kB199.0 kB [list of files]
hppa (unofficial port) 26.5 kB213.0 kB [list of files]
hurd-i386 34.7 kB290.0 kB [list of files]
i386 34.0 kB287.0 kB [list of files]
kfreebsd-amd64 30.0 kB313.0 kB [list of files]
kfreebsd-i386 31.6 kB243.0 kB [list of files]
m68k (unofficial port) 24.2 kB204.0 kB [list of files]
mips 31.0 kB290.0 kB [list of files]
mips64el 32.6 kB410.0 kB [list of files]
mipsel 31.8 kB291.0 kB [list of files]
powerpc 25.7 kB230.0 kB [list of files]
powerpcspe (unofficial port) 26.6 kB237.0 kB [list of files]
ppc64 (unofficial port) 26.3 kB316.0 kB [list of files]
ppc64el 26.9 kB309.0 kB [list of files]
s390x 27.8 kB321.0 kB [list of files]
sh4 (unofficial port) 31.4 kB204.0 kB [list of files]
sparc64 (unofficial port) 24.8 kB297.0 kB [list of files]
x32 (unofficial port) 30.3 kB243.0 kB [list of files]