Re: Motion 6
On 2009-09-21 13:24:45 +0200, Arnold Neumaier wrote:
> Vincent Lefevre wrote:
> >No, I'm not recommending midrad for every multiprecision applications.
> >I'm saying that the standard should *not exclude* midrad.
>
> The standard does not exclude midrad already by not specifying anything
> but conversion rules.
Conversion rules are not sufficient. And if you mean that it is
obvious that the enclosing property must be preserved, I fear
that it is not sufficient for a standard. Nothing is obvious.
If a property must be preserved, the standard must explicitly
say so.
--
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)