From bd94f055a5fdd9385c4014b74e115a7f5f0223fd Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 29 Aug 2019 11:52:25 -0400 Subject: [PATCH] eja: reword a comment. --- mjo/eja/eja_algebra.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 4673e91..3cb7467 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -1263,7 +1263,9 @@ 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 + # If "M" was normalized, its base ring might have roots + # adjoined and they can stick around after unembedding. + field = M.base_ring() R = PolynomialRing(field, 'z') z = R.gen() F = NumberField(z**2 + 1,'i', embedding=CLF(-1).sqrt()) -- 2.44.2