Definite_symmetric_matrix loading ...