Re: Sun's interval library
Baker wrote:
> Bill's reference to the Sun interval libraries for Fortran
> is interesting.
Yes. I took a quick look, and see that it uses the cset interpretation.
It also has support for cancellative addition and subtraction, but I did
not find (in a cursory check, I admit) any reverse operations.
Then there is the decoration issue, i.e. some method to track assumption
violations such as exceptions. Is a containment-only approach sufficient?
Michel.
---Sent: 2013-03-14 14:17:56 UTC