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

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



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