interval arithmetic for integers?

I'm looking to not reinvent the wheel. Is there an existing package that supports interval arithmetic on integers (or more)? A possible complication is that I'm hoping to include open intervals such as (GreaterEqThan 3). If there's not a package to go with, any pointers on the appopriate rules for this stuff? I started coding up multiplication and decided it was harder than I first thought... Thanks for your time, Nick

nicolas.frisby:
I'm looking to not reinvent the wheel.
Is there an existing package that supports interval arithmetic on integers (or more)? A possible complication is that I'm hoping to include open intervals such as (GreaterEqThan 3).
If there's not a package to go with, any pointers on the appopriate rules for this stuff? I started coding up multiplication and decided it was harder than I first thought...
Anything here? http://haskell.org/haskellwiki/Libraries_and_tools/Mathematics -- Don

Some of that is in the Ranged Sets library:
http://ranged-sets.sourceforge.net/Ranged/
but it doesn't support Num.
On 12/8/06, Nicolas Frisby
I'm looking to not reinvent the wheel.
Is there an existing package that supports interval arithmetic on integers (or more)? A possible complication is that I'm hoping to include open intervals such as (GreaterEqThan 3).
--
Taral

I did see that one on the wiki; but it doesn't seem to support the
open intervals (i.e. (-inf, 3)) and I'd really like those.
That is the leading candidate right now though...
There was also this one:
http://www.dinkla.net/fp/cglib.html
It mentions "rangetrees" but I'm not sure if that's the kind I'm
thinking of. That package has what seems like scary math.
Thanks,
Nick
On 12/8/06, Taral
Some of that is in the Ranged Sets library:
http://ranged-sets.sourceforge.net/Ranged/
but it doesn't support Num.
On 12/8/06, Nicolas Frisby
wrote: I'm looking to not reinvent the wheel.
Is there an existing package that supports interval arithmetic on integers (or more)? A possible complication is that I'm hoping to include open intervals such as (GreaterEqThan 3).
-- Taral
"You can't prove anything." -- Gödel's Incompetence Theorem

On 12/8/06, Nicolas Frisby
I did see that one on the wiki; but it doesn't seem to support the open intervals (i.e. (-inf, 3)) and I'd really like those.
Oh, it does. See BoundaryAboveAll and BoundaryBelowAll.
--
Taral

Fantastic!
Just another bit of evidence that Haskell Cafe + one night's sleep can
save a great deal of work. :)
Thanks for pointing that out,
Nick
On 12/8/06, Taral
On 12/8/06, Nicolas Frisby
wrote: I did see that one on the wiki; but it doesn't seem to support the open intervals (i.e. (-inf, 3)) and I'd really like those.
Oh, it does. See BoundaryAboveAll and BoundaryBelowAll.
-- Taral
"You can't prove anything." -- Gödel's Incompetence Theorem
participants (3)
-
dons@cse.unsw.edu.au
-
Nicolas Frisby
-
Taral