From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 6 Jul 2019 12:49:21 +0000 (-0400)
Subject: eja: add a test for the degree of Sn.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=4b23ac610d094c21f948f2a2324cbb9cacea9bff;p=sage.d.git

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 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)