%% ================================================================
\newpage
\section{Linear algebra}
\label{appx:linear_algebra}

Do as many Hilbert-space constructions as possible in finite dimensions.
Symmetrize and antisymmetrize; occupation-number basis.  Normalizations.
