... of nonholonomic constraints was especially difficult, and general results encompassing general holonomic and nonholonomic constraints were unavailable. While the method of Lagrange multipliers can be used, it becomes unfeasible when dealing with large dimensional systems subjected to many nonholonomic constraints...