Re: Motion 11
On 2010-02-16 10:11:46 +0100, Frédéric Goualard wrote:
> I do not know enough about modal interval arithmetic to have any
> definitive argument about that. However, I doubt you can easily obtain
> the same results as with reverse division. Once again, consider my example:
>
> A=[0,2]
> B=[-1,1]
> C=[1,1]
>
> with \circ=\times
>
> and compute \times_1^-(B,C,A) = hull({x\in[0,2]\mid\exists b\in[-1,1],
> x\times b\in[1,1]})
[...]
> No, because Corollary 1 is false.
> You just have to consider the example above. [...]
Corollary 1 seems perfectly correct to me. If the example you're
talking about is the example above, then you don't have the same
definition as in Motion 11, where there's no "hull"!
--
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)