simple_exact_diagonalization_routines
