From f8a4f27fc914955d6dd38108f7cdebbdc2103a8d Mon Sep 17 00:00:00 2001 From: Michael Orlitzky 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.43.2