Hamilton-Jacobi Equations for Nonholonomic Magnetic Hamiltonian Systems. CMR. 2022;38(3):351-388. doi:10.4208/cmr.2022-0028