[Haskell-cafe] interval arithmetic for integers?

2006-12-07 Thread 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 f

Re: [Haskell-cafe] interval arithmetic for integers?

2006-12-07 Thread Donald Bruce Stewart
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 point

Re: [Haskell-cafe] interval arithmetic for integers?

2006-12-07 Thread 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 <[EMAIL PROTECTED]> wrote: I'm looking to not reinvent the wheel. Is there an existing package that supports interval arithmetic on integers (or more)?

Re: Re: [Haskell-cafe] interval arithmetic for integers?

2006-12-08 Thread 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. 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 k

Re: Re: [Haskell-cafe] interval arithmetic for integers?

2006-12-08 Thread Taral
On 12/8/06, Nicolas Frisby <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> "You can't prove anything."

Re: Re: Re: [Haskell-cafe] interval arithmetic for integers?

2006-12-08 Thread Nicolas Frisby
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 <[EMAIL PROTECTED]> wrote: On 12/8/06, Nicolas Frisby <[EMAIL PROTECTED]> wrote: > I did see that one on the wiki; but it doesn't