eja: always use the rationals for denormalized bases.

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index e24b34890b48a5605184215af7675624e229d7d8..4504362a4f76c66112db8d47c00f8cd42711d305 100644 (file)
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -1255,7 +1255,7 @@ class ComplexMatrixEuclideanJordanAlgebra(MatrixEuclideanJordanAlgebra):
         if not n.mod(2).is_zero():
             raise ValueError("the matrix 'M' must be a complex embedding")
 
-        field = M.base_ring() # This should already have sqrt2
+        field = QQ
         R = PolynomialRing(field, 'z')
         z = R.gen()
         F = NumberField(z**2 + 1,'i', embedding=CLF(-1).sqrt())
@@ -1395,7 +1395,7 @@ class ComplexHermitianEJA(ComplexMatrixEuclideanJordanAlgebra, KnownRankEJA):
             True
 
         """
-        R = PolynomialRing(field, 'z')
+        R = PolynomialRing(QQ, 'z')
         z = R.gen()
         F = NumberField(z**2 + 1, 'I', embedding=CLF(-1).sqrt())
         I = F.gen()