Re: dependent and independent intervals, proposal to toss out
On 2013-02-20 10:49:06 -0500, Michel Hack wrote:
> The reason for requiring at least the primitive operations to return the
> tightest enclosure is because slop tends to grow rather fast in certain
> cases, so when exact point intervals are possible (zero slop), they should
> be exploited.
A recommendation should be sufficient in some cases (implicit
interval types could be used for that).
Multiple precision without tightest enclosure will generally give
narrower intervals than fixed precision with tightest enclosure.
The main exception is when a bound can be computed exactly in
fixed precision (exact point intervals are a particular case of
such intervals).
--
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 / AriC project (LIP, ENS-Lyon)