Re: level 1 and Level 2 draft: about comparisons
John,
sorry for being so late. But Nate is right we already have voted on 2
motions on comparisons. 13.04 and 21.2.
hence I think that your level1 statement
5.6.7. Boolean functions of intervals.
4! This includes interval comparisons, together with areDisjoint(x; y),
containedIn(x; y) and
containedInInterior(x; y). Possibly some others. Details still to be
nalized by the group.
is to be replaced.
I suggest
"P1788 should provide access to the states of the interval overlapping
relation. (For furher details see Rationale motion 21.2)
Based on that the comparisons
a = b a equals b as sets a1 = b1 ∧ a2 = b2
a ⊆ b a is a subset of b b1 ≤ a1 ∧ a2 ≤ b2
a ≤ b a is less than or equal to b a1 ≤ b1 ∧ a2 ≤ b2
a 4 b a precedes or touches b a2 ≤ b1
a ⊂ b a is interior to b b1 < a1 ∧ a2 < b2
a < b a is less than b a1 < b1 ∧ a2 < b2
a ≺ b a precedes b a2 < b1
are provided
If recommended or required, may be reconsidered
Juergen
Am 05.01.2012 15:04, schrieb Nate Hayes:
John,
Level 2 is looking nice.
I notice that a comment for section 6.6.6 Comparison Operations says "no
motion about these yet." What about Ulrich's Motion 13 and Jurgen's
Motion 21? Both of these motions made quorum and passed.
BTW, shouldn't comparisions be in the Level 1 section of the document?
Nate
--
o Prof. Dr. Juergen Wolff von Gudenberg, Lehrstuhl fuer
Informatik II
/ \ Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o Tel.: +49 931 / 31 86602
/ \ Uni E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg