Re: Motion 52: final "Expressions" text for vote
On 2013-11-22, at 10:18 AM, J. Wolff von Gudenberg <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
> Vincent
> Am 22.11.2013 13:19, schrieb Vincent Lefevre:
>> On 2013-11-21 18:35:10 -0800, Dmitry Nadezhin wrote:
>>> Vincent,
>>>
>>>> In general, this should remain true for NaI. IMHO, the cases for
>>>> which this is not true should be listed.
>>> In current draft, this is not true.
>>>
>>> inf([NaI]) = NaN
>>> inf(intervalPart([NaI])) = inf([Empty]) = +inf
>>>
>>> convexHull([0,1]_com,[NaI])=[NaI]
>>> convexHull(intervalPart([0,1]_com,intervalPart([NaI]))=convexHull([0,1],[Empty])=[0,1]
>>>
I second Jurgen: intervalPart(NaI) generates an exception intervalPartOfNaI.
Shall we force program execution to stop at such an exception? If so, the above cannot
happen.
Ned