From: Michael Orlitzky Date: Fri, 23 Aug 2019 14:44:21 +0000 (-0400) Subject: eja: don't change base rings when we don't have to. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=d5089f248448943f12799ed03cfca51e8bea0914;p=sage.d.git eja: don't change base rings when we don't have to. --- diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 4acf513..2bfa371 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -1359,7 +1359,7 @@ class RealSymmetricEJA(FiniteDimensionalEuclideanJordanAlgebra): p = z**2 - 2 if p.is_irreducible(): field = NumberField(p, 'sqrt2', embedding=RLF(2).sqrt()) - S = [ s.change_ring(field) for s in S ] + S = [ s.change_ring(field) for s in S ] self._basis_normalizers = tuple( ~(self.__class__.natural_inner_product(s,s).sqrt()) for s in S ) @@ -1463,7 +1463,7 @@ class ComplexHermitianEJA(FiniteDimensionalEuclideanJordanAlgebra): p = z**2 - 2 if p.is_irreducible(): field = NumberField(p, 'sqrt2', embedding=RLF(2).sqrt()) - S = [ s.change_ring(field) for s in S ] + S = [ s.change_ring(field) for s in S ] self._basis_normalizers = tuple( ~(self.__class__.natural_inner_product(s,s).sqrt()) for s in S )