Several traditional measures of curvature are encoded in the differential of the Gauss map. Gaussian curvature is defined as the determinant of : . The mean curvature is defined as the negative of half of the trace of : .