X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feuclidean_jordan_algebra.py;h=e0a6f2da12982932838c2dbef2ae0e3d0fe8a1b0;hb=8b3542a01a689367ae4692bc2658a6864f1be53f;hp=5ccf2f29fd480f4a499d55fc3d9dad85942dc6f4;hpb=99a85a92ed375722e51f7842dcc8d370b134629b;p=sage.d.git

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