Kernel::Equal_d

A model for this must provide:

bool fo ( Kernel::Point_d p, Kernel::Point_d q)
returns true iff p and q are equal (as d-dimensional points).
Precondition: p and q have the same dimension.