Re: [IEEE 1788]: Post-ballot comment
On 2015-02-12 14:42:28 +0100, Marco Nehmeier 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.
Yes, this is also what was in Motion 43.
> 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
This change would make it to match Rev1. It currently matches Rev2.
But in this case, b should be renamed to a in Table 10.1 and in 10.5.5
to also match the variable names (and in page 34 line 1, a should also
be renamed to something else).
> But of course this is only notation...
> Mathematically it is the same...
Yes.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)