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
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.
--
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
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
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
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)?
