Re: Motion 46: finalise interval literals, amendments
Ned Nedialkov wrote:
>> I meant take a string that represents one decimal number, e.g. "0.1".
>> Then text2interval("0.1") will return the binary interval containing 0.1.
>>
>> Then leave to the user to convert left and right bounds. This will make
>> it simpler for the standard and more flexible for the user.
Baker Kearfott replied:
> The user would then rely on the P-1788 floating-point-to-interval
> constructor "nums2interval".
No -- Ned's text2interval() returns an interval enclosing the singleton.
The next step would therefore be the Union operator.
Ned's approach could also be used for midrad input, by first constructing
two intervals imid and irad, and then taking Union(imid-irad,imid+irad).
This approach guarantees enclosure. We should check if there are cases
where the enclosure is not tightest, assuming the primitives do return
a tightest enclosure in the target format.
Michel.
---Sent: 2013-06-26 15:05:11 UTC