Examples of singular nonholonomic reduction

We examine the nonholonomic bracket with a view to doing singular nonholonomic reduction. Singular reduction explains not only the seeming paradox of asymptotic stability in Hamiltonian systems but yields a geometrically faithful framework for studying singularity in the tippe top.