Re: Motion 6
On 2009-08-24 12:59:57 -0700, Maarten van Emden wrote:
> My vote is NO.
>
> Rationale: Motion 6 addresses an issue at level(s) below level
> 1 of the document accepted as per Motion 2, while there are
> unresolved issues at level 1. One of these issues is the definition
> of relational operations (at level 1, of course).
AFAIK, Motion 6 doesn't cover relational operations (unless one
wants to regard a relational operation as a R -> R function, which
would return here an interval). So, I don't see any problem. Are
there other level-1 issues that would have an impact on Motion 6?
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)