FiniteRankFreeModule.tensor_module: Canonicalize sym, antisym

sagemath · Aug 29, 2022 · 04706dd · 04706dd
1 parent 6547ab9
commit 04706dd
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/sage/tensor/modules/finite_rank_free_module.py b/src/sage/tensor/modules/finite_rank_free_module.py
@@ -1197,9 +1197,16 @@ def tensor_module(self, k, l, *, sym=None, antisym=None):
         and :class:`~sage.tensor.modules.tensor_free_module.TensorFreeSubmodule_sym`
         for more documentation.
 
+        TESTS::
+
+            sage: M = FiniteRankFreeModule(ZZ, 2)
+            sage: M.tensor_module(2, 0, sym=(0,1)) is M.symmetric_power(2)
+            True
         """
+        from .comp import CompWithSym, CompFullyAntiSym
+
+        sym, antisym = CompWithSym._canonicalize_sym_antisym(k + l, sym, antisym)
         if sym or antisym:
-            # TODO: Canonicalize sym, antisym, make hashable
             key = (k, l, sym, antisym)
         else:
             key = (k, l)