Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: [IEEE 1788]: Post-ballot comment



Yes.  Let's correct obvious type-o's and inconsistencies, but
let's track carefully any changes prior to recirculation, and
let's avoid toggling between small corrections when the benefit
of the correction is dubious.

Best regards,

Baker

On 02/13/2015 05:10 AM, Vincent Lefevre wrote:
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.



--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------