X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=93aa9fb42e6ec6cdba6963db8dacfddd116ba762;hb=0f9127108539899f95e7e645eeab0d0b956af7f9;hp=03bf40459e26805a2b2d6e3bae114779f0de57d3;hpb=9c771ecf5712b700f294f1ff2f18f785008f0f63;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 03bf404..93aa9fb 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,10 +1,7 @@ -1. Finish CartesianProductEJA: add to_matrix(), - random_instance(),... methods. This will require rethinking what a - "matrix representation" and "matrix space" means for a cartesian - product algebra. Do we want our matrix basis to consist of ordered - pairs (or triples, or...)? Should the matrix_space() of the algebra - be the cartesian product of the factors' matrix spaces? Can we just - fix the matrix basis/space after we call the FDEJA initializer? +1. Finish CartesianProductEJA: add to_matrix(), random_instance(),... + methods. I guess we should create a separate class hierarchy for + Cartesian products of RationalBasisEJA? That way we get fast + charpoly and random_instance() defined... 2. Add references and start citing them.