Point/point intersection problems reduce to checking the Euclidean
distance between two points
and
, i.e.
(5.1)
where
represents the maximum allowable tolerance.
Choice of tolerances in a geometric modeler is a difficult open
question [309]. For example it may cause incidence
intransitivity.
Figure 5.5 gives an
example of three points
,
and
where
since
,
since
, but
, since
.
When points are represented procedurally or via implicit algebraic
equations, P/P intersection can be typically reduced to comparison of
intervals which contain such isolated points. In Hu et
al. [180,181] interval point equality is defined in an alternate
manner: if the intervals representing the points intersect, assuming
these intervals are very small, then the points are considered
coincident and a new interval point (the minimal rectangular box with
faces parallel to the coordinate planes) is used to replace the two
coincident points. With this construction, incidence transitivity is
guaranteed in the context of interval solid modeling but at the cost
of reduced resolution (accuracy).
Figure 5.5:
Intersection of points within a tolerance is intransitive