Heavy symmetric top Lagrangian
= 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>.