I understand how to compute the Levi-Civita connection on a pseudo-Riemannian manifold. I would like now to use it to compute the covariant derivative in various directions, as hinted in the code commentary to class Levi-Civita Connections. Is there a already existing method which I am overlooking or must I use explicit sums over coefficient indices?