Motion P1788/M007.01_NaI: Voting period officially begins

[Ralph Baker Kearfott <rbk@xxxxxxxxxxxx>]

P1788 members:

The formal discussion period for this motion has ended, and the
formal voting period has begun.  Votes may be cast until the
end of Monday, September 21, 2009.  

During the voting period, the
motion is not subject to amendment.  A registered Voting Member may vote
     "Yes"
     "No"
     "No," but propose an amendment that would cause the voter to
        vote "Yes."  The proposed amendment shall include detailed
        wording and rationale.  Such "No" votes on position papers
        are NOT motions to amend.  The purpose is to influence
        other voters.
Of course, anyone may make any statements they wish, but those are not
votes.

All votes on position papers should be public.  The mechanism for voting is a
message broadcast to <stds-1788@xxxxxxxxxxxxxxxxx>.  The ideal vote is
Subject: Motion P1788/M003.01_Set_of_reals YES (or NO)
Body: YES (or NO and proposed changes)
Name

The Voting Tabulator shall count as a vote any message in which the intent
is clear.

Instructions for registering for the working group may be found
at

   http://grouper.ieee.org/groups/1788/wg1788Reg.html

Information about working group motions and supporting documents
can be found in the public and private areas of the P1788 web
site, accessible from

   http://grouper.ieee.org/groups/1788/

Please contact me (rbk@xxxxxxxxxxxxx) if you need the user ID
and password for the private area.


A registered Voting Member may change her/his vote at any time during the
voting period simply by broadcasting a fresh voting message.

A position paper requires a "Yes" vote by 2/3 of the registered Voting
Members to pass.  A quorum is 2/3 of the registered Voting Members.  If
necessary to achieve a quorum, the Voting Tabulator may solicit further
votes, in which case, all not-yet-voted registered Voting Members shall be
solicited equally.


The motion text is appended, and a rationale is attached in PDF:

======================================================================

Motion 7: NaI


P 1788 provides a unique NaI (Not an Interval)-datum for each
abstract interval format.
The datum indicates that the construction of an interval did not  produce an
$\mathbb{F}$ interval.
It propagates through all interval operations. If at least
one of the operands is NaI, so is the result. All comparisons with NaI are
evaluated to false, with one exception, the result of isNaI(NaI) is true.
NaI, however, is never returned by an operation on $\mathbb{F}$
intervals.

======================================================================

Sincerely,

Ralph Baker Kearfott
(vice chair, P-1788)

Attachment: motion7-NaI.pdf
Description: Adobe PDF document