X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feuclidean_jordan_algebra.py;h=a4e2ad04e097454ffabd36c9ccdcb3b83e936f8e;hb=18fc5a9d41f3e17636502491edf85c1835c33f6b;hp=2ec45cf537661f359ef6cf4e34c578c238f80b31;hpb=b479f3bb0d3aae8c598a6ec6459688c4be3202af;p=sage.d.git

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 2ec45cf..a4e2ad0 100644
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -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()