Re: Reasons (not) to vote Motion 27: NO
On 2011-08-19 09:03:50 -0500, Nate Hayes wrote:
> In my perspective, the difficulty isn't with the ein decoration but rather
> the containment order:
> con \supset def \supset dac \supset ein
> con \supset emp \supset ill
> Note that emp is not comparable to ein.
>
> With Dominique's information order:
> con <=_D def <=_D dac <=_D ein
> con <=_D ndf <=_D ein
> decoration ndf is comparable to ein.
>
> So in Vincencet's example the true decorated result of
> f([-2,-1],[Empty]) = (Empty,ein).
> Evaluating on free expressions one gets
> sqrt([-2,-1]) + Empty = (Empty,ndf).
> However the following comparison
> (Empty,ndf) <=_DI (Empty,ein) <==>
> Empty \subseteq Empty and ndf <=_D ein
> is true.
Agreed.
--
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)