Re: Motion P1788/M007.01_NaI: Discussion period begins
On 2009-08-06 17:47:18 +0200, J. Wolff v. Gudenberg wrote:
> I try to avoid different uses of NaI. I think the only usage of NaI
> should be "illegal construction". the examples given by Vincent are
> for NaN not for NaI where we (will) have sqrt(-1) = emptyset
> hypot(oo,NaI) = NaI.
Yes, NaI is useless in the examples I gave for sqrt and hypot. As you
said sqrt(-1) = emptyset. However hypot(oo,NaI) = NaI is not possible
since oo isn't an interval datum. My hypot example transcripted into
interval arithmetic would be: hypot([M,+oo],[-oo,+oo]) = [|M|,+oo].
> to keep our standard simple, I try to avoid the payloads as far as
> possible.
Note that in the other example of missing data (for min function),
the payload wouldn't solve the problem as the result does not depend
on the payload.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)