6. Pass already_echelonized (default: False) and echelon_basis
(default: None) into the subalgebra constructor. The value of
already_echelonized can be passed to V.span_of_basis() to save
- some time, and usinf e.g. FreeModule_submodule_with_basis_field
+ some time, and using e.g. FreeModule_submodule_with_basis_field
we may somehow be able to pass the echelon basis straight in to
save time.
9. Compute the scalar in the general natural_inner_product() for
matrices, so no overrides are necessary.
-10. Eliminate "natural representation" for non-matrix algebras.
+10. The main EJA element constructor is happy to convert between
+ e.g. HadamardEJA(3) and JordanSpinEJA(3).
+
+11. Figure out if CombinatorialFreeModule's use of IndexedGenerators
+ can be used to replace the matrix_basis().