-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().
+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.