]> gitweb.michael.orlitzky.com - sage.d.git/blobdiff - mjo/eja/euclidean_jordan_algebra.py
eja: add doctest for a bug in subalgebra_generated_by().
[sage.d.git] / mjo / eja / euclidean_jordan_algebra.py
index 2ec45cf537661f359ef6cf4e34c578c238f80b31..a4e2ad04e097454ffabd36c9ccdcb3b83e936f8e 100644 (file)
@@ -171,6 +171,16 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra):
                 sage: x.subalgebra_generated_by().is_associative()
                 True
 
+            This is buggy right now::
+
+                sage: J = eja_ln(5)
+                sage: x = J.random_element()
+                sage: x.matrix()*x.vector() == (x**2).vector() # works
+                True
+                sage: u = x.subalgebra_generated_by().random_element()
+                sage: u.matrix()*u.vector() == (u**2).vector() # busted
+                True
+
             """
             # First get the subspace spanned by the powers of myself...
             V = self.span_of_powers()