Re: motioin43 amended
On 2013-04-23 22:32:07 -0700, Dmitry Nadezhin wrote:
> Both original Jürgen's original definition and simplified definition
> clearly determine that
> divPair([1,1],Entire)=([-inf,0],[0,+inf])
>
> Do you say that the result should be (Entire,Empty) ?
The motion says several times that when two intervals are returned,
they are disjoint, which is not the case of [-inf,0] and [0,+inf].
This is an inconsistency.
Another point: though this is equivalent, Table 1 sometimes uses
[-inf and +inf], and it sometimes uses (-inf and +inf).
--
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 / AriC project (LIP, ENS-Lyon)