Lagrangian mechanics, Gauss’ principle, quadratic programming, and generalized inverses: new equations for non-holonomically constrained discrete mechanical systems | Synapse