add an example of the sylvester decomposition