Re: [P-1788]: Anything else to be said about interval overlapping?
On 2010-11-22 17:54:18 +0100, Arnold Neumaier wrote:
> Ned Nedialkov wrote:
> >On Nov 22, 2010, at 4:14 AM, Arnold Neumaier wrote:
>
> >>The credible alternative is to require only the three predicates
> >>subset, interior, and disjoint (and perhaps equal).
> >
> >As a person that has written quite a bit of interval software,
> >I would say that subset, interior, equal, and not equal must be present.
>
> Just curious: Where did you need that two intervals are distinct?
Anyway, if some predicate is present, isn't it assumed that the
opposite predicate is also available as a consequence (just because
the standard won't say how booleans are implemented and won't provide
bindings, so that there is a symmetry between True and False)?
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)