Re: Motion 42: NO
On 2013-02-12 13:26:05 -0500, Michel Hack wrote:
> Guillaume Melquiond wrote:
> > Note that I did not say that the definition of "ill" was incoherent.
> > I said that defining "ill" as meaning that a point-wise function has
> > an empty domain is useless from the point of view of the standard.
>
> Would it help if we said that _ill (and NaI) are to be used ONLY for
> tracking bad constructions?
I don't think this is correct. Isn't sqrt([-1,1]) NaI in the
Kaucher flavor?
--
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)