From 16c76a123e1657907d4559518fbb4ea0ef9a8e2f Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 9 Nov 2020 09:37:54 -0500
Subject: [PATCH] eja: enable consistency checks by default in (non-element)
 subalgebras.

---
 mjo/eja/eja_algebra.py    | 4 +++-
 mjo/eja/eja_subalgebra.py | 5 +++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index b681296..10b8eb3 100644
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -745,7 +745,9 @@ class FiniteDimensionalEuclideanJordanAlgebra(CombinatorialFreeModule):
                 J5 = eigspace
             else:
                 gens = tuple( self.from_vector(b) for b in eigspace.basis() )
-                subalg = FiniteDimensionalEuclideanJordanSubalgebra(self, gens)
+                subalg = FiniteDimensionalEuclideanJordanSubalgebra(self,
+                                                                    gens,
+                                                                    check=False)
                 if eigval == 0:
                     J0 = subalg
                 elif eigval == 1:
diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index 045c16e..d7bcf2c 100644
--- a/mjo/eja/eja_subalgebra.py
+++ b/mjo/eja/eja_subalgebra.py
@@ -130,7 +130,7 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda
         1
 
     """
-    def __init__(self, superalgebra, basis, category=None):
+    def __init__(self, superalgebra, basis, category=None, check=True):
         self._superalgebra = superalgebra
         V = self._superalgebra.vector_space()
         field = self._superalgebra.base_ring()
@@ -179,7 +179,8 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda
                        mult_table,
                        prefix=prefix,
                        category=category,
-                       natural_basis=natural_basis)
+                       natural_basis=natural_basis,
+                       check=check)
 
 
 
-- 
2.44.2