eja: ensure that we can construct quaternion matrices over AA and RR.

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 98314cea72c13f0d58a54f2e16ad0067e740336b..51c2a33b542569c431d986a0d165d8774b0d49eb 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -18,6 +18,4 @@
    So long as we can decompose the operator (which is invariant
    under changes of basis), who cares?
 
    So long as we can decompose the operator (which is invariant
    under changes of basis), who cares?
 

-8. Ensure that we can construct all algebras over both AA and RR.
-
-9. Check that our field is a subring of RLF.
+8. Check that our field is a subring of RLF.

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index 359b7404a6fe5d003151e1e82d6c78090b0ea9f6..430f233114b09f36361322e5f2d4b4e408fd2aeb 100644 (file)
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -1344,9 +1344,9 @@ class ComplexHermitianEJA(ComplexMatrixEuclideanJordanAlgebra, KnownRankEJA):
 
     In theory, our "field" can be any subfield of the reals::
 
 
     In theory, our "field" can be any subfield of the reals::
 

-        sage: ComplexHermitianEJA(2,AA)
+        sage: ComplexHermitianEJA(2, AA)

         Euclidean Jordan algebra of dimension 4 over Algebraic Real Field
         Euclidean Jordan algebra of dimension 4 over Algebraic Real Field

-        sage: ComplexHermitianEJA(2,RR)
+        sage: ComplexHermitianEJA(2, RR)

         Euclidean Jordan algebra of dimension 4 over Real Field with
         53 bits of precision
 
         Euclidean Jordan algebra of dimension 4 over Real Field with
         53 bits of precision
 


@@ -1635,6 +1635,16 @@ class QuaternionHermitianEJA(QuaternionMatrixEuclideanJordanAlgebra,
 
         sage: from mjo.eja.eja_algebra import QuaternionHermitianEJA
 
 
         sage: from mjo.eja.eja_algebra import QuaternionHermitianEJA
 

+    EXAMPLES:
+
+    In theory, our "field" can be any subfield of the reals::
+
+        sage: QuaternionHermitianEJA(2, AA)
+        Euclidean Jordan algebra of dimension 6 over Algebraic Real Field
+        sage: QuaternionHermitianEJA(2, RR)
+        Euclidean Jordan algebra of dimension 6 over Real Field with
+        53 bits of precision
+

     TESTS:
 
     The dimension of this algebra is `2*n^2 - n`::
     TESTS:
 
     The dimension of this algebra is `2*n^2 - n`::