X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_algebra.py;h=8ab1381665711ee3c09f1a0e3387c9e4dd85bcf3;hb=ed093213197d2ffa48849b0089ebe391b7574b93;hp=2a5e624cf4730e8296373d5fe542bbc78d31666e;hpb=09ef15bb469b45f6491c71b44dc7d50a8f2c6fe3;p=sage.d.git diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 2a5e624..8ab1381 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -930,7 +930,9 @@ class MatrixEuclideanJordanAlgebra(FiniteDimensionalEuclideanJordanAlgebra): # with had entries in a nice field. return super(MatrixEuclideanJordanAlgebra, self)._charpoly_coeff(i) else: - n = self.natural_basis_space().nrows() + # If we didn't unembed first, this number would be wrong + # by a power-of-two factor for complex/quaternion matrices. + n = self.real_unembed(self.natural_basis_space().zero()).nrows() field = self.base_ring().base_ring() # yeeeeaaaahhh J = self.__class__(n, field, False) (_,x,_,_) = J._charpoly_matrix_system()