eja: add a test for multiple Cartesian product factors.

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index b155ed757e9e855ea9d18cdf5c0d1f1cb0878d4a..08ad700d77938c2bacaab4e337088ee1efc81afa 100644 (file)
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -2709,12 +2709,23 @@ class CartesianProductEJA(CombinatorialFreeModule_CartesianProduct,
     The ability to retrieve the original factors is implemented by our
     CombinatorialFreeModule Cartesian product superclass::
 
-       sage: J1 = HadamardEJA(2, field=QQ)
-       sage: J2 = JordanSpinEJA(3, field=QQ)
-       sage: J = cartesian_product([J1,J2])
-       sage: J.cartesian_factors()
-       (Euclidean Jordan algebra of dimension 2 over Rational Field,
-        Euclidean Jordan algebra of dimension 3 over Rational Field)
+        sage: J1 = HadamardEJA(2, field=QQ)
+        sage: J2 = JordanSpinEJA(3, field=QQ)
+        sage: J = cartesian_product([J1,J2])
+        sage: J.cartesian_factors()
+        (Euclidean Jordan algebra of dimension 2 over Rational Field,
+         Euclidean Jordan algebra of dimension 3 over Rational Field)
+
+    You can provide more than two factors::
+
+        sage: J1 = HadamardEJA(2)
+        sage: J2 = JordanSpinEJA(3)
+        sage: J3 = RealSymmetricEJA(3)
+        sage: cartesian_product([J1,J2,J3])
+        Euclidean Jordan algebra of dimension 2 over Algebraic Real
+        Field (+) Euclidean Jordan algebra of dimension 3 over Algebraic
+        Real Field (+) Euclidean Jordan algebra of dimension 6 over
+        Algebraic Real Field
 
     TESTS:
 
@@ -2726,6 +2737,7 @@ class CartesianProductEJA(CombinatorialFreeModule_CartesianProduct,
         Traceback (most recent call last):
         ...
         ValueError: all factors must share the same base field
+
     """
     def __init__(self, modules, **kwargs):
         CombinatorialFreeModule_CartesianProduct.__init__(self, modules, **kwargs)