| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
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...
----------------------------------------------------------------------
Dipl.-Inform. Marco Nehmeier
Chair of Software Engineering
Department of Computer Science
University of Würzburg
Am Hubland, Informatikgebäude, Room A111
97074 Würzburg, Germany
Phone: +49 931 31 88684, Fax +49 931 31 86603
mailto:nehmeier@xxxxxxxxxxxxxxxxxxxxxxxxxxx
http://go.uni-wuerzburg.de/nehmeier
---------------------------------------------------------------------
Am 12.02.2015 um 14:25 schrieb John Pryce:
Marco On 12 Feb 2015, at 10:30, Marco Nehmeier <nehmeier@xxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:I just found a (editorial) error in the document. And it seems it is not in the list of ballot comments. 10.5.5 defines mulRevToPair(b,c) which basically corresponds to c/b but 12.12.3 defines mulRevToPair(x,y) which corresponds to x/y Beside the different naming it has also a different meaning. I know we are in the post-ballot phase but I think the is more than just a typo....Well spotted! More than just a typo, it must be fixed. Please check which one is right, so will I. John Pryce