Re: textToIntevsal(s) and exceptions
On 2015-03-19 19:05:30 +0100, Vincent Lefevre wrote:
> On 2015-03-18 11:22:09 +0000, John Pryce wrote:
> > BTW, do we say anywhere that any interval x in any flavor shall be
> > decoratable? I.e., there is at least one d such that x_d is a
> > permitted combination?
>
> Isn't it a consequence of newDec(x)? I mean that if d = newDec(x),
> then x_d must be a permitted combination.
Said properly: newDec(x), which is a decorated interval having x as
the interval part, is a permitted combination.
BTW, there's an error in Draft 9.5 page 29 line 18:
"The function newDec initializes a bare interval:"
It doesn't initialize a bare interval, but a *decorated* interval
(or its decoration part).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)