Add symmetry computations for lecture 4.