Doc for lyap() and sylvester().