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

Motion P1788/M0052:Clause6Text (expressions) -- voting period begins

P-1788:

The voting period for Motion 52 (latest revision
attached) herewith begins.

Voting will continue until after Saturday, December 14.
Voting will proceed according to the rules for standard text
motions.

Juergen:  Please update the document and the corresponding
          list of motions on the web site.

Best regards,

Baker

On 11/28/2013 07:30 AM, John Pryce wrote:

P1788

Questions such as

- How much should the standard say about what an expression is?
- What requirements, if any, should such text contain? Or should
   it consist purely of description and definition?
- Should it be in the main standard or an annex?

are important and have proved to be subtle and contentious.

The attached text of Clause 6 has benefited from careful scrutiny and
discussion, mainly by Dmitry, Michel and Vincent. No doubt it is not
perfect, but one must stop somewhere.


The most significant change is an Oops! item. The definitions of

arithmetic operation and arithmetic expression had got lost from the
text at some stage. These are now in §6. That implies they apply to
all flavors, but they have flavor-defined aspects.


There are minor changes to the definition of an expression.

Also to the descriptions of three alternative forms, to make them
more equivalent: e.g. to mention multiple vs single output
(vector vs scalar) for each of them.


In 6.4 a phrase "other than NaI" is inserted. This issue remains

contentious. It relates to the "does NaI have an interval part?" question,
is being discussed separately from this motion, and may conceivably lead to
changes to 6.4 in due course.


Chair, please will you start the vote on this text?

Webmaster, please update the web page.


Regards

John Pryce





--

---------------------------------------------------------------
R. 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: 20131128Clause6Expressions.pdf
Description: Adobe PDF document