prec Directory Reference

Files
file	distance.h [code]
	Distance functions.
file	estimator.h [code]
	Default precision estimators.
file	fail.h [code]
	Default fail functions.
file	interval.h [code]
	Interval over the real numbers.
file	prec_structures.h [code]
	Structures for precision testing.