trace and determinant