Derivatives of geodesics
kellertuer opened this issue · 1 comments
kellertuer commented
We could easily add derivatives of geodesics, since they are either
- the parallel transported
X
fromgeodesic(M, p, X, t)
to the pointt
(if parallel transport is available) - or the properly rescaled
log(M, geodesic(M,p,X,t), q)
(divide by the distance of the point at t to q, multiply by the distance pq).
What do you think?
mateuszbaran commented
Sure, that would be a nice addition.