From 526fbae45d9626b4042b1bfed3327a0d4a582b96 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 22 Feb 2021 08:20:26 -0500 Subject: [PATCH] eja: demonstration for https://trac.sagemath.org/ticket/31421. --- mjo/eja/eja_algebra.py | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index ccc5006..e6a6092 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -2866,8 +2866,11 @@ class CartesianProductEJA(CombinatorialFreeModule_CartesianProduct, """ Ji = self.cartesian_factors()[i] - # Requires the fix on Trac 31421/31422 to work! - Pi = super().cartesian_projection(i) + + # Required until https://trac.sagemath.org/ticket/31421 is fixed. + Pi = self.module_morphism(lambda j_t: Ji.monomial(j_t[1]) + if i == j_t[0] else Ji.zero(), + codomain=Ji) return FiniteDimensionalEJAOperator(self,Ji,Pi.matrix()) @cached_method @@ -2974,8 +2977,9 @@ class CartesianProductEJA(CombinatorialFreeModule_CartesianProduct, """ Ji = self.cartesian_factors()[i] - # Requires the fix on Trac 31421/31422 to work! - Ei = super().cartesian_embedding(i) + # Required until https://trac.sagemath.org/ticket/31421 is fixed. + Ei = Ji.module_morphism(lambda t: self.monomial((i, t)), + codomain=self) return FiniteDimensionalEJAOperator(Ji,self,Ei.matrix()) -- 2.43.2