Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Neumaier-Pryce proposed decoration system (v03.2)

Nate, John , p1788,


IMHO the most significant comparison is between     decorated interval s

sqrt([1,4]) = ([1,2], saf)
sqrt(Empty)= (Empty,saf)

and we have
(Empty, saf) > ( [1,2], saf)

We only need such a comparison


Dominique


Nate Hayes a écrit :

Dominque Lohez wrote:

John, Nate,

My position is that the case ein should be merged with safe by removing
the restriction that for saf the input is not empty;


Using terms as per my last e-mail, returning D3/dac for an operation like
   sqrt( Empty )
is overly-conservative, since by the containment order "ein" is a more optimal "enclosure" of the decoration result; similarly, D3 is not the "best" decoration by the linear quality order (D4 is). 

Nate





--
Dr Dominique LOHEZ
ISEN
41, Bd Vauban
F59046 LILLE
France

Phone : +33 (0)3 20 30 40 71
Email: Dominique.Lohez@xxxxxxx