Re: Motion 31 draft text V04.4, extra notes
Sorry for delayed comments. Only now I have time to read it thoroughly.
1) p.10. Section 4.1. ... "Level 2 arithmetic normally acts on intervals of a given type
to produce an interval of the same type."
Is this important ?
The level 2 draft defines level 2 interval operations op_T(x, y) = hull_T(op(x, y)).
So definition
op: T1 X T2 -> T
is as easy as definition
op: T X T -> T
Could we omit this phrase or append to it something like this :
"... , but inverval operations that acts on intervals of types other than the result type are always possible".
2) p.12. Section 5.2. "Excluding Empty is indicated by the notation I, e.g. \underline{I}R or \underline{I}(R), the nonempty closed intervals with
(finite) real bounds.
Maybe "Excluding Empty, Entire and semi-infinite intervals ... " is more precise ?
3)p. 18 Table 2 and p.20. Table 3. "recip" or "inv" ?
Table 2 names inverse function as "recip" and Table 3 names it "invRev".
-Dima
----- Исходное сообщение -----
От: j.d.pryce@xxxxxxxxxxxx
Кому: stds-1788@xxxxxxxxxxxxxxxxx
Отправленные: Среда, 15 Февраль 2012 г 13:07:11 GMT +04:00 Абу-Даби, Маскат
Тема: Motion 31 draft text V04.4, extra notes
P1788
Some comments I forgot to make in our previous email.
The revised PDF just circulated has the name 20120212RevisedLevel1textV4.4Sent.pdf. The source text that produced this is in the SVN repository as Revision 46.
Chair, please decide on a suitable discussion period. It is very possible that I have missed some important comments, so I'm happy to accept proposals for changes as further friendly amendments during the discussion.
Motions we need soon IMO:
- Accept, or not, the lists of required & recommended (point) functions. Christian has agreed to handle proposals for deletions, additions, or moves from one list to the other.
- Accept, or not, the list of numeric functions of intervals such as the dreaded midpoint. (At Level 1; this is separate from the significant Level 2 discussions on these functions, currently underway.)
Who will formulate a motion for one (or both) of these and push it forward? Baker has other needed motions on his list, too.
Regards
John Pryce