Motion P1788/M0016.01:InfSupAndMidRad: YES
YES
Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
P.O. Box 1881
1515 W. Wisconsin Ave
Milwaukee WI 53201-1881 USA
414-288-6599; GasDay: 288-4400; Fax 288-5579
George.Corliss@xxxxxxxxxxxxx
www.eng.mu.edu/corlissg
On Jun 6, 2010, at 10:21 AM, Ralph Baker Kearfott wrote:
> 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
> ---------------------------------------------------------------