]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: add doctest for a bug in subalgebra_generated_by().
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 26 Jun 2019 01:04:18 +0000 (21:04 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 29 Jul 2019 03:19:01 +0000 (23:19 -0400)
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()