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. Create Element subclasses for the matrix EJAs, and then override
  13    their characteristic_polynomial() method to create a new algebra
  14    over the rationals (with a non-normalized basis). We can then
  15    compute the charpoly quickly by passing the natural representation
  16    of the given element into the new algebra and computing its charpoly
  17    there. (Relies on the theory to ensure that the charpolys are equal.)