| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Sounds OK to me. Thank you for your efforts. George Corliss On Mar 18, 2014, at 2:38 AM, John Pryce <j.d.pryce@xxxxxxxxxx> wrote: > P1788 > > I wrote: >> It seems that somehow inter-flavor conversion functions were forgotten. > > Trying to write text, I found it really needs to go later than 7.1, so I suggest putting it in a new sub-subclause before the current 7.5.4 "Measures of accuracy". How about this? > >> 7.5.4. Inter-flavor conversion. If an implementation provides more than one flavor, it shall provide conversions between them. For any two flavors F_1 and F_2, it shall define those Level 1 F_1-intervals x_1 and F_2-intervals x_2 that are regarded as equal. Mutual conversion shall be provided for at least one pair of types T_1 of F_1 and T_2 of F_2. That is, each T_1-interval x_1 maps to a T_2-interval that encloses the F_2-interval x_2 that equals the Level 1 value of x_1, if x_2 exists. If it does not exist, or no T_2-enclosure can be found, the UndefinedOperation exception is signaled. The same applies with T_1 and T_2 interchanged. > > John Pryce
Attachment:
signature.asc
Description: Message signed with OpenPGP using GPGMail