[Nek5000-users] Strong divergence and Laplacian operator