mjo/eja/TODO

   1 1. Add CartesianProductEJA.
   2
   3 2. Add references and start citing them.
   4
   5 3. Implement the octonion simple EJA.
   6
   7 4. Factor out the unit-norm basis (and operator symmetry) tests once
   8    all of the algebras pass.
   9
  10 5. Override inner_product(), _max_test_case_size(), et cetera in
  11    DirectSumEJA.
  12
  13 6. Switch to QQ in *all* algebras for _charpoly_coefficients().
  14
  15 7. Pass already_echelonized (default: False) and echelon_basis
  16    (default: None) into the subalgebra constructor. The value of
  17    already_echelonized can be passed to V.span_of_basis() to save
  18    some time, and usinf e.g. FreeModule_submodule_with_basis_field
  19    we may somehow be able to pass the echelon basis straight in to
  20    save time.