- # TODO: when the Peirce decomposition is implemented for real,
- # we can use that instead of finding this eigenspace manually.
- #
- # Trivial eigenspaces don't appear in the list, so we default to the
- # trivial one and override it if there's a nontrivial space in the
- # list.