mjo/eja/TODO

   1 A. Make the subalgebra class work with any subalgebra (there's nothing
   2    special except a_regular_element() in there).
   3
   4 1. Add CartesianProductEJA.
   5
   6 2. Check the axioms in the constructor when check != False?
   7
   8 3. Add references and start citing them.
   9
  10 4. Implement the octonion simple EJA.
  11
  12 5. Factor out the unit-norm basis (and operator symmetry) tests once
  13    all of the algebras pass.
  14
  15 6. Can we make the minimal and characteristic polynomial tests work
  16    for trivial algebras, too? Then we wouldn't need the "nontrivial"
  17    argument to random_eja().