File List

Here is a list of all files with brief descriptions:

attractor.h	Construction of a cover of an attractor
covboxes.h	A box cover type
graph.h	A directed graph class and some algorithms
maphenon.h	The Henon map
numberpi.h	Rigorous bounds for the number pi
opensine.h	An open-interval version of the sine function
opensqr.h	An open-interval version of the square function
plotcover.h	Plotting a cover in a bitmap image file
rounding.h	Rigorous rounding of arithmetic operations
runhenon.cpp	The main computations for the Henon attractor
savecover.h	Saving a cover to a file
streams.h	Various output streams for the program