- This may require supporting "basis" as a list of basis vectors
- (as opposed to superalgebra elements) in the subalgebra constructor.
-
-8. Implement random_instance() for general algebras as random_eja().
- Copy/paste the "general" construction into the other classes that
- can use it. The general construction can be something like "call
- random_instance() on something that inherits me and return the
- result."
+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.