Body-frame derivative of a space-fixed vector (source code)

= Body-frame derivative of a space-fixed vector

If a vector $k$ is fixed in space while a body frame rotates with <angular velocity> $\omega$, its body-frame components satisfy
$$
\left(\frac{dk}{dt}\right)_{\rm body}=-\omega\times k.
$$