Riemannian_geometry loading ...