Find the number of pixels corresponding to a HEALPix resolution.
The number of pixels on the side of one of the 12 ‘top-level’ HEALPix tiles.
The number of pixels in the HEALPix map.
nside_to_npix()