From 5b62defe6caa66d0167214d557a2c3480393ad9e Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 9 Nov 2019 14:51:23 -0500 Subject: [PATCH] eja: add a priority TODO. --- mjo/eja/TODO | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 535ee9c..55a59a1 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,3 +1,6 @@ +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