Motion P1788/M003.01_Set_of_reals open for VOTE
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 Wednesday, April 29.
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 shall 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 registered Voting Member is NOT removed from the roster for not voting, as
is the case for not voting on the proposed standard itself.
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 as follows:
===============================================================
===Motion P1788/M0003.01_Set_of_reals===
Proposer: Juergen Wolff von Gudenberg
Seconder: Michel Hack
===Motion text===
The P1788 Interval arithmetic standard defines intervals as closed
and connected sets of real numbers. That means that ± Infinity may
be used to denote an unbounded interval but are never considered as
members of an interval.
===Rationale===
The Vienna Proposal section 1.2
Kulisch's position paper "Complete Interval Arithmetic"
The extensive discussion in the mailing list
===============================================================
Sincerely,
Ralph Baker Kearfott
(Acting chair: IEEE P1788)
--
---------------------------------------------------------------
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
---------------------------------------------------------------