From: Michael Orlitzky Date: Mon, 11 Nov 2019 16:26:21 +0000 (-0500) Subject: eja: add another TODO before I forget. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=c96719c121e67d47e635f47a23ec0271cc149c77;p=sage.d.git eja: add another TODO before I forget. --- diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 535ee9c..207c06d 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,3 +1,5 @@ +A. Add tests for orthogonality in the Peirce decomposition. + 1. Add CartesianProductEJA. 2. Check the axioms in the constructor when check != False?