eja: fix incorrect usage of "Jordan axiom" -- I meant "associativity."

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index 3f2127d7df9b811a599ba1da01b7b100ab0a5573..02ed966540132c07af408a1a9fb4e6eebc220c31 100644 (file)
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -406,8 +406,8 @@ class FiniteDimensionalEuclideanJordanAlgebra(CombinatorialFreeModule):
 
         EXAMPLES:
 
-        Our inner product satisfies the Jordan axiom, which is also
-        referred to as "associativity" for a symmetric bilinear form::
+        Our inner product is "associative," which means the following for
+        a symmetric bilinear form::
 
             sage: set_random_seed()
             sage: J = random_eja()

diff --git a/mjo/eja/eja_element.py b/mjo/eja/eja_element.py
index d9b6eb12fe27363721763fc1e6ccb60c7f98aabd..070501852ae4efa8d6845d74240d4495695f42a9 100644 (file)
--- a/mjo/eja/eja_element.py
+++ b/mjo/eja/eja_element.py
@@ -1162,8 +1162,7 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement):
 
         TESTS:
 
-        The trace inner product is commutative, bilinear, and satisfies
-        the Jordan axiom:
+        The trace inner product is commutative, bilinear, and associative::
 
             sage: set_random_seed()
             sage: J = random_eja()
@@ -1183,7 +1182,7 @@ class FiniteDimensionalEuclideanJordanAlgebraElement(IndexedFreeModuleElement):
             ....:              a*x.trace_inner_product(z) )
             sage: actual == expected
             True
-            sage: # jordan axiom
+            sage: # associative
             sage: (x*y).trace_inner_product(z) == y.trace_inner_product(x*z)
             True