ef: error correction on fine grid
function prolongation(nxc, nyc, nxf, nyf, unc, ef)
for j = 1:nyc for i = 1:nxc