-1. Finish CartesianProductEJA: add random_instance() method and
- optimize. I guess I should create a separate class hierarchy for
- Cartesian products of RationalBasisEJA? That way we get fast
- charpoly and random_instance() defined...
+1. Add cartesian products to random_eja().
2. Add references and start citing them.
5. Profile the construction of "large" matrix algebras (like the
15-dimensional QuaternionHermitianAlgebra(3)) to find out why
they're so slow.
+
+6. We should compute whether or not the algebra is associative if it
+ is unknown. I guess the "associative" argument should be ternary
+ (True, False, None)? We should also figure out the correct
+ True/False values for the example classes, and of course add an
+ _is_associative() method.