Re: MidRad -- and Two Different Application Domains (TDAD).
On 2009-09-17 13:28:43 +0100, John Pryce wrote:
> On 17 Sep 2009, at 11:59, Arnold Neumaier wrote:
> >This is why I recommend not to consider standardizing midrad
> >operations, but only their conversion to and from infsup intervals.
That would be completely useless.
> Standardising midrad has difficulties not present with infsup (non-
> uniqueness of finite precision interval hull,
That's why it may be interesting to have it standardized, so that
different midrad implementations do not behave too differently.
> lack of representation for semi-infinite intervals);
This one is not a difficulty. On the contrary, it is simpler: as
soon as the error bound becomes infinite, return R.
--
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 / Arénaire project (LIP, ENS-Lyon)