From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 26 Jun 2019 01:04:18 +0000 (-0400)
Subject: eja: add doctest for a bug in subalgebra_generated_by().
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=18fc5a9d41f3e17636502491edf85c1835c33f6b;p=sage.d.git

eja: add doctest for a bug in subalgebra_generated_by().
---

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()