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

Re: Motion 51: Section 12.11. Interval and number literals



P-1788:

Do I have a second to this motion?  (The text is attached.)

Baker

On 10/01/2013 05:31 AM, Dmitry Nadezhin wrote:
======
Motion 51, revision of 01 October 2013.
======
I submit a motion that Section 12.11 "Interval and number literals" be approved as standard text.

======
The changes since Motion 46.

1) Interval literal has both bare and decorated value depending on context.
2) Notion of portable interval literal. It is defined by fully-specified grammar
    without reference to host language. An implementation shall accept any portatble interval literal.
3) Hence literals with rational notations shall be parsed by all implementations,
    though an implementation of "textToInterval(s)" may relax coversion accuracy of such literals.
4) Shorter form of Empty literal: "[]".
5) Uncertain form for unbounded intervals: "2??u" is [2,+oo].
6) "[nai]" denotes NaI . Hence "_ill" suffix is unnecessary in decorated intervals.
7) More examples of valid and invalid literals.

   -Dima



--

---------------------------------------------------------------
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
---------------------------------------------------------------

Attachment: 20131001IntervalLiterals.pdf
Description: Adobe PDF document