Re: Edge case conversions, exceptions to IEEE FPA
Van et al,
What's sacred about 1ULP? Might the programmer know the accuracy, which
isn't necessarily 1ULP? Such a case would be an argument in favor of
perhaps supplying a conversion of two floats, one representing the
midpoint, and the other representing the accuracy (in the form of
a radius, say). Thus, we WOULD have two conversion routines, one
for midpoint-radius, and one for lower bound and upper bound.
Connecting these conversions to programming languages is a separate
issue. Do we want the two routines defined at the 1788 operation
level, or at the programming language level?
Baker
Van Snyder wrote:
.
.
.
At the instant a program executes a conversion from FP to interval, it
doesn't know whether the FP number is exact or represents a 1ulp wide
interval. Frequently, however, the programmer knows.
---------------------------------------------------------------
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
---------------------------------------------------------------