X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element.py;h=e30dbb13f39d06b6d49c6bfd34c829ab30d6112d;hb=e4d568e25c62d79a2dbe34b81ee4dc21edf09316;hp=d3e9a33ceba6e1fc4e58b417f3b953e2e2d1c3d7;hpb=43b5bfdb82d46ed04f0f0ecaa1d34893453376b1;p=sage.d.git diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py index d3e9a33..e30dbb1 100644 --- a/mjo/eja/eja_element.py +++ b/mjo/eja/eja_element.py @@ -1411,8 +1411,14 @@ class FiniteDimensionalEJAElement(IndexedFreeModuleElement): True """ - from mjo.eja.eja_element_subalgebra import FiniteDimensionalEJAElementSubalgebra - return FiniteDimensionalEJAElementSubalgebra(self, **kwargs) + from mjo.eja.eja_subalgebra import FiniteDimensionalEJASubalgebra + powers = tuple( self**k for k in range(self.degree()) ) + A = FiniteDimensionalEJASubalgebra(self.parent(), + powers, + associative=True, + **kwargs) + A.one.set_cache(A(self.parent().one())) + return A def subalgebra_idempotent(self):