Re: IEEE Standard 1788-2015
Svetoslav and P1788
On 27 Sep 2015, at 13:18, Ralph Baker Kearfott <rbk5287@xxxxxxxxxxxxx> wrote:
> The reason the inner operations were not included is
> because no-one wrote up a document for them and presented
> it formally to the committee. The primary P-1788 editors
> assumed Nate would do this, but he never got around to it.
>
> The full P-1788 document provides a clear mechanism (flavors)
> for including inner operations, and it still can be done. However,
> at this point, I think it would involve submitting another PAR
> and seeing it through the approval process. The thing is, someone
> needs to do the work.
I was going to respond on these lines but Baker did so first. I agree with what he says. For reasons that were thoroughly thrashed out at the time (e.g. the handling of unbounded intervals) a standard that contains inner operations, if defined in the form of Kaucher/modal arithmetic, must be a separate flavor from the set-based standard. There is much glory (though probably zilch money) for anyone who writes such a standard -- even more for someone who implements the result. Who will take up the challenge?
John Pryce