sylvester matrix