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

Motion P1788/M0016.01:InfSupAndMidRad: up for discussion

P-1788:

This motion has been proposed by:
Arnold Neumaier and Dan Zuras

and has been seconded by
Vladik Kreinovich

It is therefore up for discussion under the rules for
position papers.  The discussion period will extend until
the end of Friday, June 4, after which a voting period will
begin.

The actual motion is appended to this email:

Juergen and William: Please post this action on the web site
  and record it in the minutes.

Juergen:  Please also post the actual motion on the web site,
  as you have been doing.

Best regards,

Baker
===============================================================

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