Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

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)