eja: add a test for the degree of Sn.

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 0a53667c36284d3a07a218f30e37fae8334861a9..c83c78056a2774a01400fbb76381a5b9d7352c15 100644 (file)
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -745,6 +745,17 @@ def RealSymmetricSimpleEJA(n, field=QQ):
         e0 + e2
         sage: e2*e2
         e2
+
+    TESTS:
+
+    The degree of this algebra is `(n^2 + n) / 2`::
+
+        sage: set_random_seed()
+        sage: n = ZZ.random_element(1,5).abs()
+        sage: J = RealSymmetricSimpleEJA(n)
+        sage: J.degree() == (n^2 + n)/2
+        True
+
     """
     S = _real_symmetric_basis(n, field=field)
     Qs = _multiplication_table_from_matrix_basis(S)