From 16c76a123e1657907d4559518fbb4ea0ef9a8e2f Mon Sep 17 00:00:00 2001 From: Michael Orlitzky 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.43.2