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

[Fwd: Re: Motion P1788/M0013.04 - Comparisons] correction

P1788
the attached email is false
remark 4 of our position paper says [2,oo] finishes [1,oo]
sorry
Juergen
--
-
     o          Prof. Dr. J. Wolff v. Gudenberg, Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg
--- Begin Message --- 
John
  remark 4 of our position paper for motion 21 chooses (2)
Juergen

John Pryce schrieb:

P1788

This is the third or fourth time I ask this question, but I don't recall ever having an answer.

Concerning the relation "is interior to", (\subset in Kulisch's notation), what's the result of
   [1,oo] is interior to [0,oo]
?

Someone please say which of these is right:
(1) It is false, because the endpoints of the "inside" set _must_ be different from those of the "outside" one.
(2) It is true, because what we want is "topologically interior to".
(3) I couldn't care less, because this relation is only useful for bounded intervals.

Or, of course, something else.

Answers from those with experience in writing interval software especially welcome.

John Pryce


--
-
     o          Prof. Dr. J. Wolff v. Gudenberg, Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg

--- End Message ---