X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=fe18d5634835c97dcc1ee635c4fadecab25787ea;hb=3cd987f3ace9517518510e985eb7d1996a924a68;hp=8f9c17f11c0db462403fdf98faafded920de2839;hpb=d7daabf4c360795044d3ede294042c914c1cf778;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 8f9c17f..fe18d56 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,11 +1,10 @@ -1. Finish CartesisnProductEJA: add to_matrix(), random_instance(), +1. Finish CartesianProductEJA: add to_matrix(), random_instance(), one()... 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 - the FDEJA initializer be made to work on tuples, or will it - need to be overridden? + (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? 2. Add references and start citing them.