 Heavy symmetric top Lagrangian

For a fixed point a distance $a$ from the centre of mass and inclination measured from the upward vertical,The spin and precession angles are cyclic.

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