
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