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 b681296b698287bdb506ee0519fcf098711b380b..10b8eb338514a0ec611ced0bb0a9ca169dc67411 100644 (file)
--- 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 045c16e7ed691532e016c89192a43903bc0cc7ce..d7bcf2c3a59638ef8a4176a7ae0dba2a422e6af2 100644 (file)
--- 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)