This file is indexed.

/usr/share/doc-base/mpfi is in libmpfi-doc 1.5.3+ds-2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 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
Document: mpfi
Title: MPFI: Multiple Precision Floating-Point Interval Library
Author:
 Nathalie Revol
 Fabrice Rouillier
 Sylvain Chevillard
 Christoph Lauter
 Hong Diep Nguyen
 Philippe Theveny
Section: Science/Mathematics
Abstract:
 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.
 .
 MPFI is intended to be a portable library written in C for arbitrary precision
 interval arithmetic with intervals represented using MPFR reliable floating-point
 numbers. It is based on the GNU MP library and on the MPFR library. 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 rounding provided, for each operation or function,
 by MPFR.

Format: PDF
Files: /usr/share/doc/libmpfi-doc/mpfi.pdf