mjo/eja/TODO

   1 1. Add CartesianProductEJA.
   2
   3 2. Check the axioms in the constructor when check != False?
   4
   5 3. Add references and start citing them.
   6
   7 4. Implement the octonion simple EJA.
   8
   9 5. Factor out the unit-norm basis (and operator symmetry) tests once
  10    all of the algebras pass.
  11
  12 6. Refactor the current ungodly fast charpoly hack (relies on the
  13    theory to ensure that the charpolys are equal.)
  14
  15 7. If we factor out a "matrix algebra" class, then it would make sense
  16    to replace the custom embedding/unembedding functions with static
  17    _real_embedding() and _real_unembedding() methods.
  18
  19 8. Implement random_instance() for the main EJA class.
  20
  21 9. Implement random_instance() for the subalgebra class.