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&#39;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&#39;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">&lt;<a href="mailto:eca7215@cs.rit.edu">eca7215@cs.rit.edu</a>&gt;</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&#39;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&#39;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>