]> gitweb.michael.orlitzky.com - sage.d.git/blobdiff - mjo/eja/TODO
eja: update todo, and rename "natural" to "matrix".
[sage.d.git] / mjo / eja / TODO
index 3c63d3b97796031de5ecf914f3051d8e47b93967..f0901ca91b793debc4877a8ee5a670d240fa51fc 100644 (file)
@@ -14,7 +14,7 @@
 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.
 
    the usual one. Then for the basis to be orthonormal, we would need
    to divide e.g. (1,0,0) by <(1,0,0),(1,0,0)> = 2 to normalize it.
 
-8. Use charpoly for inverse itself?
+8. Pre-cache charpoly for some small algebras?
 
-9. Pre-cache charpoly for some small algebras?
+9. Compute the scalar in the general natural_inner_product() for
+   matrices, so no overrides are necessary.
 
-10. Compute the scalar in the general natural_inner_product() for
-    matrices, so no overrides are necessary.
\ No newline at end of file
+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().