I have a package for interval arithmetic in hackage<div><br></div><div><a href="http://hackage.haskell.org/package/intervals-0.2.0">http://hackage.haskell.org/package/intervals-0.2.0</a></div><div><br></div><div>However it does not currently properly adjust the floating point rounding mode so containment isn't perfect. </div>
<div><br></div><div>However, we are actively working on fixing up the Haskell MPFR bindings, which will let us reliably set rounding modes, cleaning up the interval arithmetic library to be just a little bit more pedantic. Due to the way GHC interacts with GMP this is a disturbingly difficult process.</div>
<div><br></div><div>I have an unreleased library for working with Taylor models that builds on top of that and my automatic differentiation library, but without working MPFR bindings, it isn't sufficiently accurate for me to comfortably release.</div>
<div><br></div><div>-Edward<br><br><div class="gmail_quote">On Sun, Mar 20, 2011 at 4:27 PM, Edward Amsden <span dir="ltr"><<a href="mailto:eca7215@cs.rit.edu">eca7215@cs.rit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi cafe,<br>
<br>
I'm looking for a library that provides an instance of Num,<br>
Fractional, Floating, etc, but carries uncertainty values through<br>
calculations. A scan of hackage didn't turn anything up. Does anyone<br>
know of a library like this?<br>
<br>
Thanks!<br>
<br>
--<br>
Edward Amsden<br>
Student<br>
Computer Science<br>
Rochester Institute of Technology<br>
<a href="http://www.edwardamsden.com" target="_blank">www.edwardamsden.com</a><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div>