From: Michael Orlitzky Date: Sun, 28 Jul 2019 15:15:48 +0000 (-0400) Subject: eja: convert another operator_matrix() test to operator(). X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=90a50499af04fbb28142dc8aeaeb1f16d557c5c0;p=sage.d.git eja: convert another operator_matrix() test to operator(). --- diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py index 7967fcc..9072a12 100644 --- a/mjo/eja/euclidean_jordan_algebra.py +++ b/mjo/eja/euclidean_jordan_algebra.py @@ -1591,13 +1591,13 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra): sage: x.subalgebra_generated_by().is_associative() True - Squaring in the subalgebra should be the same thing as - squaring in the superalgebra:: + Squaring in the subalgebra should work the same as in + the superalgebra:: sage: set_random_seed() sage: x = random_eja().random_element() sage: u = x.subalgebra_generated_by().random_element() - sage: u.operator_matrix()*u.vector() == (u**2).vector() + sage: u.operator()(u) == u^2 True """