Energy eigenspace (source code)

= Energy eigenspace

The energy eigenspace for $E$ is $\ker(H-EI)$.