From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 20 Aug 2019 15:10:05 +0000 (-0400)
Subject: eja: add a test for the symmetry of the _real_symmetric_basis().
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=fe7ba85535340f4506513cb3c73b483693526023;p=sage.d.git

eja: add a test for the symmetry of the _real_symmetric_basis().
---

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index 07c4947..204a537 100644
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -800,6 +800,19 @@ def random_eja():
 def _real_symmetric_basis(n, field):
     """
     Return a basis for the space of real symmetric n-by-n matrices.
+
+    SETUP::
+
+        sage: from mjo.eja.eja_algebra import _real_symmetric_basis
+
+    TESTS::
+
+        sage: set_random_seed()
+        sage: n = ZZ.random_element(1,5)
+        sage: B = _real_symmetric_basis(n, QQbar)
+        sage: all( M.is_symmetric() for M in  B)
+        True
+
     """
     # The basis of symmetric matrices, as matrices, in their R^(n-by-n)
     # coordinates.