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 e6a60929055fccb28fd86765e7743a028b1904a1..ccc5006f3d79397d81ad98bbf45a7262e36dd6e9 100644 (file)
--- 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())