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.