The package performs multiple-precision real interval arithmetic.
It provides the intrinsic Fortran numerical functions, as well as many special
functions that are not included in the Fortran standard.
One of the primary uses of the package is to study the accuracy and stability of numerical
algorithms by using interval arithmetic, giving results that are intervals guaranteed to
contain the exact solution.
The precision and base for the arithmetic can be set by the user.
The program SampleFMinterval.f95 below gives examples of using FM for interval calculations.
The actual files shown on this page are in this archive that contains all the FM files from this
website: FM_files.zip
The individual file pointers here display as pdf files for browsing. The longer files are cut
off after 20 pages.
fm_interval.f95
Subroutine library for multiple-precision interval operations. 19,980 lines of code
TestFMinterval.f95
Checks several operations for each of the fm_interval routines. 19,907 lines of code
SampleFMinterval.f95
Small sample program using fm_interval. 656 lines of code
SampleFMinterval.chk
Expected output file from SampleFMinterval.f95. 192 lines
IntervalExamplesFM.f95
Interval examples from "A Multiple-Precision Interval Arithmetic Package". 1,169 lines of code
IntervalExamplesFM.chk
Expected output file from IntervalExamplesFM.f95. 367 lines
FM_Interval_User_Manual.txt
User's guide for the package, along with a list of the files, and an example set of
compiler/linker commands for building the programs. 182 lines
This paper describes the package and discusses several examples showing cases where interval
arithmetic works well and also cases where it doesn't.
A Multiple-Precision Interval Arithmetic Package
http://dmsmith.lmu.build/FMinterval2014.pdf (2014) 1 -- 14