Positive_semi-definite_matrix loading ...