X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;ds=sidebyside;f=mjo%2Feja%2Feja_algebra.py;h=f7983c857d8fdceffac3dbdfeaa6bf70fd7e811e;hb=97d4dcfae8b0c5ab1577da2ba3629e0a4169c789;hp=99490b0e0aecee54c1ff14314c2060e1d9e553ab;hpb=419af75ae2b0c1bcefbf7ae39f912504dc75c828;p=sage.d.git

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index 99490b0..f7983c8 100644
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -1324,7 +1324,9 @@ class RealSymmetricEJA(FiniteDimensionalEuclideanJordanAlgebra):
             # algebra needs to be over the field extension.
             R = PolynomialRing(field, 'z')
             z = R.gen()
-            field = NumberField(z**2 - 2, 'sqrt2', embedding=RLF(2).sqrt())
+            p = z**2 - 2
+            if p.is_irreducible():
+                field = NumberField(p, 'sqrt2', embedding=RLF(2).sqrt())
 
         S = _real_symmetric_basis(n, field)
         Qs = _multiplication_table_from_matrix_basis(S)
@@ -1420,7 +1422,10 @@ class ComplexHermitianEJA(FiniteDimensionalEuclideanJordanAlgebra):
             # algebra needs to be over the field extension.
             R = PolynomialRing(field, 'z')
             z = R.gen()
-            field = NumberField(z**2 - 2, 'sqrt2', embedding=RLF(2).sqrt())
+            p = z**2 - 2
+            if p.is_irreducible():
+                field = NumberField(p, 'sqrt2', embedding=RLF(2).sqrt())
+
         S = _complex_hermitian_basis(n, field)
         Qs = _multiplication_table_from_matrix_basis(S)