Re: Motion 11
On 2010-02-19 13:18:36 +0100, Frédéric Goualard wrote:
> My mistake. My original message was referring to the first version of
> Motion 1, where there was some "hull" involved. Marco has modified
> Motion 11 since then to take into account my remark.
OK (I hadn't looked at this first version).
> Then again, I believe that abandoning "Hull" as done in the current
> version of Motion 11 removes the problem with Corollary 1 only to
> introduce new difficulties since we are no longer restricted to
> intervals and that we would have to consider possibly infinite unions of
> intervals when time to consider trigonometric inverse functions comes.
Yes.
--
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)