From 18fc5a9d41f3e17636502491edf85c1835c33f6b Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Tue, 25 Jun 2019 21:04:18 -0400 Subject: [PATCH] eja: add doctest for a bug in subalgebra_generated_by(). --- mjo/eja/euclidean_jordan_algebra.py | 10 ++++++++++ 1 file changed, 10 insertions(+) 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() -- 2.44.2