From e05c37cc70d3ca1a3df761d92e46e93490716063 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 13 Dec 2020 17:45:16 -0500 Subject: [PATCH] eja: change matrix_space() to use parent(). This allows it to work when the "matrix basis" lives in a Cartesian product space. --- mjo/eja/eja_algebra.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index db899dd..ae41b8c 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -737,7 +737,7 @@ class FiniteDimensionalEJA(CombinatorialFreeModule): if self.is_trivial(): return MatrixSpace(self.base_ring(), 0) else: - return self._matrix_basis[0].matrix_space() + return self.matrix_basis()[0].parent() @cached_method -- 2.43.2