RE: Correction: RULES FOR POSITION PAPERS ONLY on Motion P1788/M0042: Decoration System -- Voting Period begins
With this in mind, I vote FOR Motion 42
-----Original Message-----
From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of Ralph Baker Kearfott
Sent: Monday, January 21, 2013 7:20 AM
To: owner-stds-1788@xxxxxxxxxxxxxxxxx
Cc: stds-1788@xxxxxxxxxxxxxxxxx
Subject: Correction: RULES FOR POSITION PAPERS ONLY on Motion P1788/M0042: Decoration System -- Voting Period begins
P-1788:
I (and the P-1788 web page) misspoke: The proposer intended Motion 42 to be a POSITION PAPER.
That is, you do not need to check the actual wording and punctuation. If we agree on the proposed system, John will craft the final draft. Only a simple majority is required for passage, and don't worry about missing commas and awkward wording, as long as you understand the intent.
I append the proposer's statement from late November, then my original call to vote:
-------------------------------------------------------------
P1788
Following lively discussions off line, especially with Vincent Lefevre and Jürgen Wolff von Gudenberg, I submit a revised version of the P1788 decoration system, and a motion. I am not submitting that the actual text should be accepted, but the motion is
The system here described is accepted as a basis for the P1788 decoration system.
The purpose therefore is promote discussion, and improvements and clarifications where needed, and hopefully lead to a consensus.
The present text is based on that of November 2011, but has been much simplified, and concentrates on specification rather than on theory. So it is much clearer what an implementation shall provide.
The system's "best" decoration, denoted bdc, expresses the fact that a function f was found to be "bounded, defined and continuous" on a bounded and nonempty input box xx. The original reason for introducing this was that, IMO, this is essential for the Motion 36 flavors concept.
It is equivalent to the idea of a "common evaluation". It is the *only* decoration that must exist, and have the same meaning, in all flavors.
However, it also has uses in recognising "harmless" Level 2 overflow:
perhaps not in all cases where that may be needed, but in many.
Note also that the meaning of "expression" is to be no longer defined in the standard. This requires a revision (and simplification) of Level 1's §7.5 "Expressions and the functions they define", which I will get round to as soon as possible. This is a change to accepted text, so AFAIK it will need a separate vote.
-------------------------------------------------------------
=============================================================
P-1788:
The voting period for this motion herewith begins.
Voting will continue until after Saturday, February 9, 2013.
Please give your attention to this important motion.
INCORRECT =========================================
Voting on this motion will proceed according to the RULES FOR STANDARD TEXT. That is,
1. a 2/3 majority is necessary for the motion to pass, and
2. any NO votes MUST be accompanied by an explanation of and
a corresponding commitment to the changes that would cause
the voter to change the "NO" vote to "YES".
END INCORRECT =====================================
The motion cannot be changed during voting.
John: Please check the web page to make sure the posted
motion is current.
Juergen: Please update the web page with this action.
Acting secretary: Please record the transaction in the minutes.
The motion appears in the private area of the IEEE P-1788 site:
http://grouper.ieee.org/groups/1788/private/Motions/AllMotions.html
As usual, please contact me if you need the password to the private area.
Best regards,
Baker (acting as chair, P-1788)
=============================================================
--
---------------------------------------------------------------
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
---------------------------------------------------------------