Re: Bare decorations (was ...level 2 datums)
On 2010-10-13 08:55:32 -0500, Nate Hayes wrote:
> This is important: you just agreed that NaI should not be convertible to
> empty set, or vice-versa.
What you call NaI is a bare decoration. So, you're meaning that
a bare decoration should not be convertible to an interval (either
a bare interval or a decorated interval); I think this is fine.
But if you have a decorated interval X where bare(X) is the empty
set, then dec(X) still makes sense. So, why vice-versa?
--
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 / Arénaire project (LIP, ENS-Lyon)