Heavy symmetric top Lagrangian (source code)

= Heavy symmetric top Lagrangian

For a fixed point a distance $a$ from the centre of mass and inclination measured from the upward vertical,
$$
L=T-Mga\cos\theta.
$$
The spin and precession angles are cyclic.

This is the Lagrangian of a <Lagrange top>, one of the <Lagrange, Euler, and Kovalevskaya tops>.