expansion of a determinant