-1. Finish DirectSumEJA: add to_matrix(), random_instance(),
- one()... methods. Make it subclass RationalBasisEuclideanJordanAlgebra.
- This is not a general direct sum / cartesian product implementation,
- it's used only with the other rationalbasis algebras (to make non-
- simple EJAs out of the simple ones).
+1. Finish CartesianProductEJA: add to_matrix(), random_instance(),...
+ methods. I guess we should create a separate class hierarchy for
+ Cartesian products of RationalBasisEJA? That way we get fast
+ charpoly and random_instance() defined...
2. Add references and start citing them.
5. The main EJA element constructor is happy to convert between
e.g. HadamardEJA(3) and JordanSpinEJA(3).
+
+6. Profile the construction of "large" matrix algebras (like the
+ 15-dimensional QuaternionHermitianAlgebra(3)) to find out why
+ they're so slow.