Compute differentials over polynomial ring defined in summer school notes.