X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_algebra.py;h=afd0f55c103c885315e99bc90afe647262aadfbd;hb=3844eed972d91ce88b1504818b37ee9428d95c68;hp=3671e367359d5eeb7b86c76fe98ec4e90edb2f6e;hpb=fa3651ef28df68f4c37b16339074fbf86b8feff4;p=sage.d.git

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index 3671e36..afd0f55 100644
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -2450,7 +2450,7 @@ class OctonionHermitianEJA(HermitianMatrixEJA, RationalBasisEJA, ConcreteEJA):
     @staticmethod
     def _max_random_instance_size(max_dimension):
         r"""
-        The maximum rank of a random QuaternionHermitianEJA.
+        The maximum rank of a random OctonionHermitianEJA.
         """
         # There's certainly a formula for this, but with only four
         # cases to worry about, I'm not that motivated to derive it.
@@ -3767,3 +3767,9 @@ class ComplexSkewSymmetricEJA(RationalBasisEJA, ConcreteEJA):
                          field=field,
                          matrix_space=A,
                          **kwargs)
+
+        # This algebra is conjectured (by me) to be isomorphic to
+        # the quaternion Hermitian EJA of size n, and the rank
+        # would follow from that.
+        #self.rank.set_cache(n)
+        self.one.set_cache( self(-J) )