Nonlinear cosmological matter power spectrum with massive neutrinos: The halo model | Synapse