Bugfixes and unit test for lyapunov_symm

Complements fixes by Tom Holden in #689

Merge request reports

Loading