add a sylvester-equation-related thing