From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 9 Nov 2020 14:37:54 +0000 (-0500)
Subject: eja: enable consistency checks by default in (non-element) subalgebras.
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=commitdiff_plain;h=16c76a123e1657907d4559518fbb4ea0ef9a8e2f

eja: enable consistency checks by default in (non-element) subalgebras.
---

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)