fo ( ForwardIterator first, ForwardIterator last, Kernel::Point_d p)
determines whether is contained in the
simplex of the points in A = tuple [first,last). Precondition: The objects in are of the same dimension and affinely
independent. Requirement: The value type of ForwardIterator is
Kernel::Point_d.