From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 19 Jun 2019 14:18:33 +0000 (-0400)
Subject: mjo/euclidean_jordan_algebra.py: add examples for eja_rn.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=7a401428c4a337b7e7e4e23fe917945c08aceece;p=sage.d.git

mjo/euclidean_jordan_algebra.py: add examples for eja_rn.
---

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 5ccf2f2..e0a6f2d 100644
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -11,6 +11,26 @@ def eja_rn(dimension, field=QQ):
     """
     Return the Euclidean Jordan Algebra corresponding to the set
     `R^n` under the Hadamard product.
+
+    EXAMPLES:
+
+    This multiplication table can be verified by hand::
+
+        sage: J = eja_rn(3)
+        sage: e0,e1,e2 = J.gens()
+        sage: e0*e0
+        e0
+        sage: e0*e1
+        0
+        sage: e0*e2
+        0
+        sage: e1*e1
+        e1
+        sage: e1*e2
+        0
+        sage: e2*e2
+        e2
+
     """
     # The FiniteDimensionalAlgebra constructor takes a list of
     # matrices, the ith representing right multiplication by the ith