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

Re: A mid-rad interchange motion...



Juergen, P-1788,

OK, let's take Dan's revision as the official motion
on which we will vote.

Baker

On 5/15/2010 00:06, Dan Zuras Intervals wrote:
Subject: Re: A mid-rad interchange motion...
From: John Pryce<j.d.pryce@xxxxxxxxxxxx>
Date: Sat, 15 May 2010 04:49:52 +0100
To: P1788<stds-1788@xxxxxxxxxxxxxxxxx>

Dan, P1788

.
.

	P.S. - Oh, here is the motion changed as John asked:

	---------------------------------------------------------------

	An interval type is said to be<b>  supported</b>  if all
	required operations are implemented as well as conversions
	between that type and any other interval type and import from
	and export to text strings.

	An interval type is said to be<b>  available</b>  if conversions
	between that type and any other interval 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
---------------------------------------------------------------