1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139
|
Source: mpfi
Section: math
Priority: optional
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Jerome Benoit <calculus@rezozer.net>
Rules-Requires-Root: no
Build-Depends:
debhelper-compat (= 13),
gnulib, libtool, cproto (>= 4.7l-4),
libmpfr-dev (>= 3.1), libgmp-dev (>= 2:6.0)
Build-Depends-Indep:
texinfo, texlive-latex-base
Standards-Version: 4.6.0
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Vcs-Git: https://salsa.debian.org/science-team/mpfi.git
Vcs-Browser: https://salsa.debian.org/science-team/mpfi
Package: libmpfi0
Provides: libmpfi
Replaces: libmpfi (<< 1.5.1+ds-1)
Section: libs
Architecture: any
Pre-Depends: ${misc:Pre-Depends}
Depends: ${shlibs:Depends}, ${misc:Depends}
Conflicts: libmpfi
Suggests: libmpfi-doc (= ${source:Version})
Multi-Arch: same
Description: multiple precision floating-point interval computation library -- lib
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 dynamic library.
Package: libmpfi-dev
Section: libdevel
Architecture: any
Replaces: libmpfi0-dev (<< 1.5.1+ds-3)
Conflicts: libmpfi0-dev (<< 1.5.1+ds-3), libmpfi-dev (<< 1.5.1+ds-3)
Pre-Depends: ${misc:Pre-Depends}
Depends:
libmpfi0 (= ${binary:Version}), libmpfi-dev-common (= ${source:Version}),
libmpfr-dev, libgmp-dev, ${misc:Depends}
Multi-Arch: same
Description: 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.
Package: libmpfi-dev-common
Section: libdevel
Architecture: all
Replaces: libmpfi-dev (<< 1.5.1+ds-1), libmpfi0-dev-common (<< 1.5.1+ds-3)
Breaks: libmpfi-dev (<< 1.5.1+ds-1)
Conflicts: libmpfi0-dev-common (<< 1.5.1+ds-3)
Pre-Depends: ${misc:Pre-Depends}
Depends: ${misc:Depends}
Suggests: libmpfi-dev
Multi-Arch: foreign
Description: multiple precision floating-point interval computation library -- headers
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 headers needed by developers.
Package: libmpfi-doc
Section: doc
Architecture: all
Replaces: libmpfi-dev (<< 1.5.1+ds-1)
Breaks: libmpfi-dev (<< 1.5.1+ds-1)
Depends: ${misc:Depends}
Suggests: libmpfi-dev, pdf-viewer
Multi-Arch: foreign
Description: multiple precision floating-point interval computation library -- doc
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 user manual.
|