Re: Reasons (not) to vote Motion 27: NO
On 2011-08-18 17:30:21 +0200, Arnold Neumaier wrote:
> One cannot give any useful guarantees for free expressions because
> one cannot control the input decorations. They can carry decoration
> information from ancient times that are completely irrelevant for the range
> calculations.
On the contrary, AFAIK, this is the goal of decorations: to propagate
information from the input to the output.
> >Said that, I still don't think that 5.8.5 is correct. Consider:
> > * xx and/or yy is Empty (so that the box (xx,yy) is empty).
> > * f(x,y) = sqrt(x) + y
> >One gets:
> > * After applying domain on the box (xx,yy), one gets (Empty,emp)
> > for both components.
>
> Oops, this is a typo in the text; according to the semantics in (Eval1),
> upon which the proof of the FTDIA is based, domain should yield (Empty,ein).
Then this should be OK for bound expressions (but not for free
expressions).
--
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 / Arénaire project (LIP, ENS-Lyon)