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

Re: motioin43 amended



On 04/24/2013 03:17 AM, Vincent Lefevre wrote:
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).

I suggest using (-inf and +inf) to emphasize 1788 will be based on the reals
and not the extended reals.  (Just my 2 cents worth.)

Baker

--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------