From 756c72b4180eaee74c3ecdbf6a6fca39e88ed361 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 9 Nov 2019 20:56:51 -0500 Subject: [PATCH] eja: remove a TODO that is done in theory. --- mjo/eja/TODO | 3 --- 1 file changed, 3 deletions(-) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 55a59a1..535ee9c 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,6 +1,3 @@ -A. Make the subalgebra class work with any subalgebra (there's nothing - special except a_regular_element() in there). - 1. Add CartesianProductEJA. 2. Check the axioms in the constructor when check != False? -- 2.43.2