Re: Comments on decoration ill, intersection and union

[Vincent Lefevre <vincent@xxxxxxxxxx>]

On 2012-12-14 13:35:13 -0600, Nathan T. Hayes wrote:
> 	-- the input is nonempty, but the result is empty because of an
> intersection operation (as in the case of this particular example).

I have the impression that after an intersection one can obtain any
decoration just because of the intersection operation, so that the
decoration isn't meaningful (possibly except with some particular
algorithms, like in your example with intersection and union). This
makes me think that intersection should return a bare interval.

-- 
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)