Re: Midpoint paper (2012-02-08 version)
On 2012-02-14 13:27:18 +0000, John Pryce wrote:
> When I suggested a while back that a floating point format F should
> be associated to T as part of its definition, I seem to recall this
> was pooh-poohed as unnecessary. But the current discussion shows,
> IMO, that it IS necessary, and might indicate some requirements for
> such an F.
I think that what can be necessary are the requirements, not the
fact that some FP format is associated with T, i.e. such a FP
format need not be unique.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)