Thread Links | Date Links | ||||
---|---|---|---|---|---|
Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Michel On 8 Sep 2009, at 21:56, Michel Hack wrote:
Hm. I thought I was sticking closely to the "standard notation" we chose (subject to later revision) in Motion 1. If such a basic part of it as the use of bold is doubtful, that notation is in trouble.Two comments on the text of the motion: (a) The use of bold vs natural to distinguish interval variable names from point variable names is risky, as the distinction is not always easy to see, and may disappear entirely when a document is rendered in plain-text. I prefer the Vienna approach of using double letters.
(b) Watch out for convertFromInt -- it *is* relevant that this is defined as a formatOf operation in 754, because rounding may be involved (e.g. from int64 to bfp64).
Thanks for that point. John