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 and a2 = b2
a <o= b| a is a subset of b | b1 <= a1 and a2 <= b2
a <= b | a is less than or equal to b| a1 <= b1 and a2 <= b2
a /<= b| a precedes or touches b |a2 <= b1
a <o b | a is interior to b | b1 < a1 and a2 < b2
a < b | a is less than b | a1 < b1 and 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