Re: Midpoint paper (2012-02-08 version)
On 2012-02-15 15:36:36 +0100, Vincent Lefevre wrote:
> 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.
And hence, the notion of "compatible" format, with a list of
requirements.
--
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)