put back the function signature of combine_eigenspaces
Add some interactive pretty-printing features
begin working on documentation