RE: Motion P1788/M0016.01:InfSupAndMidRad: up for vote
I vote For.
-----Original Message-----
From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of Ralph Baker Kearfott
Sent: Sunday, June 06, 2010 9:22 AM
To: stds-1788
Subject: Motion P1788/M0016.01:InfSupAndMidRad: up for vote
P-1788:
The discussion period for this motion has run its course.
Therefore, the motion
is entering its three-week voting period. Voting will continue
until after the end June 27, 2010. The motion is appended
to this email. The rules for position papers apply for this
vote.
William / Juergen: Please record this action in the minutes.
I offer thanks for the previous and continuing work of all
involved.
Sincerely,
Baker
P.S. Remember that you can obtain a list of all motions,
their status, their actual wording, and background,
from the web page at
http://grouper.ieee.org/groups/1788/private/Motions/AllMotions.html
that Juergen maintains. Please contact me if you need a password
for the private area.
=================================================================
Proposer: Dan Zuras (from Arnold Neumaier)
Second: Vladik Kreinovich
Motion:
-------
An interval type is said to be <b> supported </b> if all
required operations are implemented as well as conversions to
and from that type and any other type and import from and export
to text strings.
An interval type is said to be <b> available </b> if conversions
to and from that type and any other type are implemented as well
as import from and export to text strings.
A conforming implementation shall support at least one inf-sup
type and make available at least one mid-rad and one mid-rad1-rad2
type.
All conversions shall preserve containment and return the tightest
representable interval in the target type.
All imports shall preserve containment and return the tightest
representable interval in the target type. All exports shall
preserve containment and return the tightest representable text
string in the specified format.
NOTE --- This standard is silent on the matter of other
operations implemented for types that are available but not
supported.
--
---------------------------------------------------------------
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
---------------------------------------------------------------