From 8c02b1e4b574267d7571759315164ade1b26f6ce Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 20 Feb 2021 22:40:53 -0500 Subject: [PATCH] eja: add a test for multiple Cartesian product factors. --- mjo/eja/eja_algebra.py | 24 ++++++++++++++++++------ 1 file changed, 18 insertions(+), 6 deletions(-) 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) -- 2.44.2