Check how the operations on shapes follow the semantics described in DE-9IM model

[vitcpp]

There is DE-9IM topological model that defines the semantics of operations on shapes for 2D. This model defines the semantics of such operations as overlap, intersect, within and others for 2D shapes. Not sure, is there any such model for spherical coordinates. If not, this model would be applicable to our case.

In general, it would be nice to have the API that is aligned with some standards. For example, should operation overlap check for touches or not? Such things are defined in the model that introduces the clear semantics for each operation.

[3Davydov]

This is a report on correspondence of the contains and overlaps operators of the DE-9IM model :
PG_SPHERE vs DE-9IM eng.pdf