MPFI 1.0

Multiple Precision Floating-Point Interval Library

SPACES, INRIA Lorraine and Arenaire, INRIA Rhone-Alpes

This manual documents how to install and use the Multiple Precision Floating-Point Interval Library

Table of Contents

MPFR/MPFI Copying Conditions
1. Introduction to MPFI
2. Installing MPFI

2.1 Known Build Problems

3. Reporting Bugs
4. MPFI Basics

4.1 Nomenclature and Types
4.2 Function Classes
4.3 MPFI Variable Conventions
4.4 Getting the Latest Version of MPFI

5. Interval Functions

5.1 Return Values
5.2 Rounding Modes and Precision Handling
5.3 Initialization and Assignment Functions

5.3.1 Initialization Functions
5.3.2 Assignment Functions
5.3.3 Combined Initialization and Assignment Functions

5.4 Interval Functions with Floating-point Results
5.5 Conversion Functions
5.6 Basic Arithmetic Functions
5.7 Special Functions
5.8 Comparison Functions
5.9 Input and Output Functions
5.10 Functions Operating on Endpoints
5.11 Set Functions on Intervals
5.12 Miscellaneous Interval Functions
5.13 Error Handling

Contributors
References
Concept Index
Function and Type Index