From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 27 Aug 2019 14:30:16 +0000 (-0400)
Subject: eja: fix incorrect usage of "Jordan axiom" -- I meant "associativity."
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=b05705ab04692f738a57a6ef387662ba5ea46ceb;p=sage.d.git

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 3f2127d..02ed966 100644
--- 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 d9b6eb1..0705018 100644
--- 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