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 adf9581c541bf81e02c612d281a4d671c3b9df74..a7e56187550111a928823d536dc3ff88347b7424 100644 (file)
--- 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.