From 4f9b2bd453c2895f1798139f82926b7ac487492d Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 6 Jul 2019 08:49:21 -0400
Subject: [PATCH] eja: add a test for the degree of Sn.

---
 mjo/eja/euclidean_jordan_algebra.py | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 0a53667..c83c780 100644
--- 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)
-- 
2.44.2