The intervals package
A Numeric.Interval.Interval is a closed, convex set of floating point values.
This package is careful to manage the rounding direction of each floating point operation to ensure that the resulting interval is conservative. Effectively the lower bound of each computation is always rounded down, and the upper bound is rounded up.
The correctness of this package relies on the correctness of the underlying libm's handling of rounding modes.
Properties
| Versions | 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.2.0, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.2.1, 0.2.1.1 |
|---|---|
| Dependencies | array (≥0.3.0 & <0.4), base (4.*), numeric-extras (≥0.0.1 & <0.1), rounding (≥0.3.0 & <0.4) |
| License | BSD3 |
| Author | Edward Kmett |
| Maintainer | ekmett@gmail.com |
| Category | Math |
| Home page | http://patch-tag.com/r/ekmett/intervals |
| Upload date | Mon Jun 14 04:39:07 UTC 2010 |
| Uploaded by | EdwardKmett |
| Build failure | ghc-6.12 (log) |
Modules
- Numeric
- Numeric.Interval
Downloads
- intervals-0.1.3.tar.gz (Cabal source package)
- package description (included in the package)