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. Implement spectral projector decomposition for EJA operators
  13    using jordan_form() or eigenmatrix_right(). I suppose we can
  14    ignore the problem of base rings for now and just let it crash
  15    if we're not using AA as our base field.
  16
  17 7. Do we really need to orthonormalize the basis in a subalgebra?
  18    So long as we can decompose the operator (which is invariant
  19    under changes of basis), who cares?