sylvester_matrix ()
