Re: Motion 13
Bo (and P1788 FYI):
Since you are the one who formally moved Motion 13, are you
in agreement that it be withdrawn? (I would then interpret Ulrich's
email as moving the modified paper.)
Baker
On 5/3/2010 01:53, Ulrich Kulisch wrote:
Baker:
I was out of town with other duties last week and unable to react on
last minute comments on Motion 13. As far as I understand the rules I
cannot change the motion now since voting began already. So I withdraw
the motion and submit it again with minor changes in the lower part of
page 2 and with thanks for comments by Dominique Lohez and Vicent
Lefevre. (Perhaps: Can you extend the discussion period by one week and
start voting again). I am sorry for the trouble.
I think the problem with the empty set should be further discussed. I
have great sympathy with Dan's mail of April 22. I had very similar
thoughts when I was working on my book. I studied modells representing
the empty set by a tuple aiming to avoid the necessity of frequent
checking for it. In a mail of April 22 Arnold Neumaier wrote:
"This is just to let you know of Siegfried Rump's decision to remove
empty intervals from Intlab Version 6;".
This certainly is a very interesting remark. It is out of question that
we need the empty set in interval arithmetic. But do we really have many
applications where the empty set is used as an operand?
In a mail of April 23 Juergen wrote:
"I strongly propose to stay with our clear math. model and not to
sacrifice the empty set for efficiency."
The solution might be distinguishing between (and stay with) the clear
math. model of \ol{IR} and the practical model of \ol{IF}\setminus empty
set.
Best wishes
Ulrich
--
---------------------------------------------------------------
R. 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
---------------------------------------------------------------