Re: Draft decoration system for discussion
On 2012-12-11 13:30:40 +0000, John Pryce wrote:
> On 4 Dec 2012, at 04:34, Michel Hack wrote:
> > Page 36, 8.8.8, normalInterval() function (just past middle of page):
> > This description is totally garbled.
>
> Too right. I meant this function to convert xx to a decorated
> interval (yy,dy) of the parent type, but the phone rang or I made
> coffee or whatever, and forgot. Now done.
>
> My spec is
> If xx is an interval, return (yy,dy) = (xx,t) where t is the threshold.
Do you really mean that for instance, if xx is [0,1] and the
threshold is ill, then (yy,dd) = ([0,1], ill)? Or if xx is Empty
and the threshold is dac, then (yy,dd) = (Empty,dac)?
> If xx is a decoration d
> If d is ill or emp, return (Empty,d).
> Otherwise return (Entire,d).
This makes sense. I can't find anything better.
--
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)