X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=207c06d9156b38ac485f2de3a4d836089aa68d0b;hb=8698debba196d8746c1a32d8e6866085b6cb2161;hp=535ee9c94013ee4ca06d449a446292bb72df4a29;hpb=756c72b4180eaee74c3ecdbf6a6fca39e88ed361;p=sage.d.git 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?