gradient divergence and curl in electromagnetic theory