local_hom: Need not assume mask_sub and D_sub have same size