Re: Motion P1788/M0016.01:InfSupAndMidRad: up for vote

[Rudnei Cunha <rudnei.cunha@xxxxxxxxx>]

I vote Yes.

Rudnei

2010/6/6 Ralph Baker Kearfott <rbk@xxxxxxxxxxxx>

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