Sylvester_matrix loading ...