in riemannian geometry, the cut locus of a point formula_1 in a manifold is roughly the set of all other points for which there are multiple minimizing geodesics connecting them from formula_1, but it may contain additional points where the minimizing geodesic is unique, under certain circumstances. the distance function from "p" is a smooth function except at the point "p" itself and the cut locus.