Geodesic conserved quantity from a Killing vector (source code)

= Geodesic conserved quantity from a Killing vector

If $U$ is the tangent to an affinely parametrized geodesic and $K$ is a Killing vector, then $g(K,U)$ is constant along the geodesic.