]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: convert another operator_matrix() test to operator().
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 28 Jul 2019 15:15:48 +0000 (11:15 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 29 Jul 2019 03:19:01 +0000 (23:19 -0400)
mjo/eja/euclidean_jordan_algebra.py

index 7967fccea47a472282a1e3bd547b2ebcf6b2c34e..9072a12e511b51dbeb64fe6c9e0336a0ab6d87fe 100644 (file)
@@ -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
 
             """