Positive_semidefinite_matrix loading ...