A new criterion for satisfactory commutation and a digital computer program for design