Re: [IEEE 1788]: Post-ballot comment
Marco, Oliver, P1788
On 12 Feb 2015, at 13:42, Marco Nehmeier <nehmeier@xxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
> In my opinion the "right" one is 10.5.5
> because it matches the definition of Reverse mode operations in 10.5.4
> Hence 12.12.3 should be corrected.
>
>
> And to be a nitpicker (and this point is unimportant):
>
> The correct definition in 10.5.5 should be
>
> cc /set bb = {x in R | b in bb exists such that x * b in cc}
>
> and not
>
> cc /set bb = {x in R | b in bb exists such that b * x in cc}
>
> to match the definitions of Rev1 and Rev2 in 10.5.4
>
> But of course this is only notation... Mathematically it is the same...
I agree with both points. I have made the changes and also renamed x,y to b,c in 12.12.3.
As for 10.6.4 "Extended interval comparisons", discussed by Vincent & Oliver, I personally prefer "equals" on the ground that it is then (I think) a unique name not used elsewhere in the text. It is a small difference that humans might not notice, but a compiler certainly will notice.
I still need to think about Vincent's "comments on the comments" of 10th Feb.
John Pryce