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