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

Re: Motion P1788/M0051:IntervalLiteralsText -- discussion period begins

An updated text of the section 12.11 is attached.
l and u in the infsup form [l,u] may be omitted with the implied values
l=-oo, u=+oo .

  -Dima

----- Исходное сообщение -----
От: vincent@xxxxxxxxxx
Кому: STDS-1788@xxxxxxxxxxxxxxxxx
Отправленные: Среда, 2 Октябрь 2013 г 5:32:04 GMT +04:00 Абу-Даби, Маскат
Тема: Re: Motion P1788/M0051:IntervalLiteralsText -- discussion period begins

A few comments concerning the portable literals (12.11.6):

In Table 2.2, 4th example, "Inf" should be replaced by "inf" since
lowercase is assumed.

Concerning the grammar (and Table 2.2):

* What about [r] in addition to [entire]? In practice, the uppercase
  form [R] would normally be used, as R typically denote the set of
  real numbers. But see another proposition below.

* I'm not fond of the ?? forms for unbounded intervals, though they
  can be concise. For such intervals, I'd rather use [r] (which is
  even more concise), and literals like [-inf,17] and [17,inf].

When "inf" is used on the left side, can the minus sign be implied
since there is no ambiguity in this context ("inf" just meaning
unbounded on this side)? Or leave the field blank, e.g. [,17] and
[17,] (then [,] would mean [entire])?

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Attachment: motion51Oct20.pdf
Description: application/save-as