From: Michael Orlitzky Date: Wed, 21 Aug 2019 15:02:29 +0000 (-0400) Subject: eja: don't adjoin roots to the field if we're not normalizing the basis. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;ds=inline;h=0848d2345f4813e9f176efef6864d65b1915c495;p=sage.d.git eja: don't adjoin roots to the field if we're not normalizing the basis. --- diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index adf9581..a7e5618 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -1310,7 +1310,7 @@ class RealSymmetricEJA(FiniteDimensionalEuclideanJordanAlgebra): """ def __init__(self, n, field=QQ, normalize_basis=True, **kwargs): - if n > 1: + if n > 1 and normalize_basis: # We'll need sqrt(2) to normalize the basis, and this # winds up in the multiplication table, so the whole # algebra needs to be over the field extension. @@ -1408,7 +1408,7 @@ class ComplexHermitianEJA(FiniteDimensionalEuclideanJordanAlgebra): """ def __init__(self, n, field=QQ, normalize_basis=True, **kwargs): - if n > 1: + if n > 1 and normalize_basis: # We'll need sqrt(2) to normalize the basis, and this # winds up in the multiplication table, so the whole # algebra needs to be over the field extension.