X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=292c770c8b2bb8d52ecc38c25c1170a36ded59bc;hb=b875c6fdc66a9723bc949a85c5374ef3c94bf7a2;hp=2ceba43b9f6ad40e110aa2f2365ac45ffb69e288;hpb=bfaac3f5d42f31fabb37a5260fd5b870f639ea59;p=sage.d.git diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py index 2ceba43..292c770 100644 --- a/mjo/eja/eja_subalgebra.py +++ b/mjo/eja/eja_subalgebra.py @@ -78,6 +78,9 @@ class FiniteDimensionalEuclideanJordanSubalgebraElement(FiniteDimensionalEuclide sage: y = A.random_element() sage: A(y.superalgebra_element()) == y True + sage: B = y.subalgebra_generated_by() + sage: B(y).superalgebra_element() == y + True """ W = self.parent().vector_space()