Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

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