P-1788,
Do I have a formal second to this motion?
Baker
On 10/30/2010 05:07, Jürgen Wolff von Gudenberg wrote:
Baker,
please find attached the revised version of our position paper
overlapping.pdf
Particularly the relations with empty sets have been updated.
Since we have changed the position paper given the rationale for our
motion, I think the politically correct way is to withdraw the old motion
and move a new one motion 21.2. Hence I withdraw the old version and move
Motion 21.2
P1788 should provide access to the states of the interval overlapping
relation. In particular it should provide a function on two intervals a
and b whose range is the set of 13 states defined by tables 1 and 2.
Additionally the functionality of the abstract data type IOV described by
table 8 in section 5 of the position paper should be available.
For full flexibility the atomic operations should be available as
comparisons, see Table 9."
This motion is to be understood as a supplement to motion 13.04.
The advantages are outlined in the position paper that serves as
rationale for the motion.
Note that we do not want to change the traditional way of interval
comparisons as outlined in motion 13.04 but we want P1788 to provide an
additional way as an option, that may offer some new kind of
applications.
regards
Juergen
--
---------------------------------------------------------------
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
---------------------------------------------------------------