A nonholonomic system, for short “NH,’’ consists of a configuration space Qn, a Lagrangian L(q, q, t), a nonintegrable constraint distribution H ⊂ TQ, with dynamics governed by Lagrange-d’Alembert’s principle. We present ...