formulation of classical mechanics in which one Legendre-transforms some, but not all, of generalized velocities into generalized momenta