From: Michael Orlitzky Date: Sun, 10 Nov 2019 01:56:51 +0000 (-0500) Subject: eja: remove a TODO that is done in theory. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=756c72b4180eaee74c3ecdbf6a6fca39e88ed361;p=sage.d.git eja: remove a TODO that is done in theory. --- 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?