  The reduction of nonholonomic systems is formulated in terms of Dirac
reduction. An optimal reduction method for a class of nonholonomic systems is
formulated. Several examples are studied in detail.
