From: Michael Orlitzky Date: Sun, 21 Feb 2021 22:56:49 +0000 (-0500) Subject: eja: update the TODO again. X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=commitdiff_plain;h=3cd987f3ace9517518510e985eb7d1996a924a68 eja: update the TODO again. --- 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.