-4. Implement the octonion simple EJA.
-
-5. Factor out the unit-norm basis (and operator symmetry) tests once
- all of the algebras pass.
-
-6. Implement random_instance() for the main EJA class.
-
-7. Implement random_instance() for the subalgebra class.
+4. Can we hit "x" with the deortho matrix and delegate to the
+ _rational_algebra to speed up minimal_polynomial?