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 07c49473a044411374583b60a15127096c355c2c..204a537df12d2ab4d3d27764c20c830ec324a68a 100644 (file)
--- 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.