-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...