Re: Motion M0052 Expressions: revised text
John,
I still see an issue in the second paragraph of the subsection 6.4 "Related issues".
"The standard requires that at Level 2, for all interval types, operations and inputs, the inter-
val part of a decorated interval operation equal the corresponding bare interval operation."
Currently, [NaI] is treated as [Empty]_ill, but some operations return
different results on [NaI] and on [Empty]:
inf([NaI])=NaN
inf([Empty])=+inf
convexHull([NaI],[1,2])=[NaI]
convexHull([Empty],[1,2])=[1,2]
equal([NaI],[NaI])=false
equal([Empty],[Empty])=true
I think that it is necessary to add some disclaimer to subsection 6.4 about [NaI].
-Dima
----- Исходное сообщение -----
От: prycejd1@xxxxxxxxxxxxx
Кому: stds-1788@xxxxxxxxxxxxxxxxx
Отправленные: Вторник, 5 Ноябрь 2013 г 3:46:20 GMT +04:00 Абу-Даби, Маскат
Тема: Motion M0052 Expressions: revised text
P1788
Following discussions -- mainly with Michel Hack -- I submit the attached revised version of clause 6 as a friendly amendment. It replaces the text originally proposed in motion 52.
Webmaster, please post it on the Motions web page, replacing the current version.
John Pryce