Operations for Riemannian manifolds
