From f8a4f27fc914955d6dd38108f7cdebbdc2103a8d Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 6 Mar 2021 13:40:10 -0500
Subject: [PATCH] eja: add OctonionHermitianEJA to the docs.

---
 mjo/eja/eja_algebra.py | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index f2d7ba7..43f8021 100644
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -32,22 +32,21 @@ for these simple algebras:
   * :class:`RealSymmetricEJA`
   * :class:`ComplexHermitianEJA`
   * :class:`QuaternionHermitianEJA`
+  * :class:`OctonionHermitianEJA`
 
-Missing from this list is the algebra of three-by-three octononion
-Hermitian matrices, as there is (as of yet) no implementation of the
-octonions in SageMath. In addition to these, we provide two other
-example constructions,
+In addition to these, we provide two other example constructions,
 
   * :class:`HadamardEJA`
   * :class:`TrivialEJA`
 
 The Jordan spin algebra is a bilinear form algebra where the bilinear
 form is the identity. The Hadamard EJA is simply a Cartesian product
-of one-dimensional spin algebras. And last but not least, the trivial
-EJA is exactly what you think. Cartesian products of these are also
-supported using the usual ``cartesian_product()`` function; as a
-result, we support (up to isomorphism) all Euclidean Jordan algebras
-that don't involve octonions.
+of one-dimensional spin algebras. And last but least, the trivial EJA
+is exactly what you think it is; it could also be obtained by
+constructing a dimension-zero instance of any of the other
+algebras. Cartesian products of these are also supported using the
+usual ``cartesian_product()`` function; as a result, we support (up to
+isomorphism) all Euclidean Jordan algebras.
 
 SETUP::
 
-- 
2.45.3