From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 21 Feb 2021 03:40:53 +0000 (-0500)
Subject: eja: add a test for multiple Cartesian product factors.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=8c02b1e4b574267d7571759315164ade1b26f6ce;p=sage.d.git

eja: add a test for multiple Cartesian product factors.
---

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index b155ed7..08ad700 100644
--- 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)