From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 22 Feb 2021 13:36:12 +0000 (-0500)
Subject: Revert "eja: demonstration for https://trac.sagemath.org/ticket/31421."
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=d227f7ece4e6eb41af3ad0671cd0a2a6ee33b5c1;p=sage.d.git

Revert "eja: demonstration for https://trac.sagemath.org/ticket/31421."

This reverts commit 526fbae45d9626b4042b1bfed3327a0d4a582b96.
---

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index e6a6092..ccc5006 100644
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -2866,11 +2866,8 @@ class CartesianProductEJA(CombinatorialFreeModule_CartesianProduct,
 
         """
         Ji = self.cartesian_factors()[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)
+        # Requires the fix on Trac 31421/31422 to work!
+        Pi = super().cartesian_projection(i)
         return FiniteDimensionalEJAOperator(self,Ji,Pi.matrix())
 
     @cached_method
@@ -2977,9 +2974,8 @@ class CartesianProductEJA(CombinatorialFreeModule_CartesianProduct,
 
         """
         Ji = self.cartesian_factors()[i]
-        # Required until https://trac.sagemath.org/ticket/31421 is fixed.
-        Ei = Ji.module_morphism(lambda t: self.monomial((i, t)),
-                                codomain=self)
+        # Requires the fix on Trac 31421/31422 to work!
+        Ei = super().cartesian_embedding(i)
         return FiniteDimensionalEJAOperator(Ji,self,Ei.matrix())