It would be helpful to document whether the trace operation in various solvers performs a sum over spins