From: Michael Orlitzky <michael@orlitzky.com>
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;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.