eja: expand an existing subalgebra test.

[sage.d.git] / mjo / eja / eja_subalgebra.py

diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index 2ceba43b9f6ad40e110aa2f2365ac45ffb69e288..292c770c8b2bb8d52ecc38c25c1170a36ded59bc 100644 (file)
--- 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()