-6. Can we make the minimal and characteristic polynomial tests work
- for trivial algebras, too? Then we wouldn't need the "nontrivial"
- argument to random_eja(). This would also allow us to potentially
- pass a "size" of zero to the other constructors in random_eja() --
- a code path that is basically untested right now.
+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.
+
+7. Set check_axioms=False for element-subalgebras outside of once or
+ twice in the test suite.