FiniteRankDualFreeModule.tensor_type: New; add tensor_product doctests

sagemath · Sep 2, 2022 · 37e41b9 · 37e41b9
1 parent 94f59b8
commit 37e41b9
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/src/sage/tensor/modules/finite_rank_free_module.py b/src/sage/tensor/modules/finite_rank_free_module.py
@@ -633,6 +633,10 @@ def tensor_product(self, *others):
             sage: M = FiniteRankFreeModule(QQ, 2)
             sage: M.tensor_product(M)
             Free module of type-(2,0) tensors on the 2-dimensional vector space over the Rational Field
+            sage: M.tensor_product(M.dual())
+            Free module of type-(1,1) tensors on the 2-dimensional vector space over the Rational Field
+            sage: M.dual().tensor_product(M, M.dual())
+            Free module of type-(1,2) tensors on the 2-dimensional vector space over the Rational Field
             sage: M.tensor_product(M.tensor_module(1,2))
             Free module of type-(2,2) tensors on the 2-dimensional vector space over the Rational Field
             sage: M.tensor_module(1,2).tensor_product(M)
@@ -3243,3 +3247,16 @@ def base_module(self):
 
         """
         return self._fmodule
+
+    def tensor_type(self):
+        r"""
+        Return the tensor type of ``self``.
+
+        EXAMPLES::
+
+            sage: M = FiniteRankFreeModule(ZZ, 3, name='M')
+            sage: M.dual().tensor_type()
+            (0, 1)
+
+        """
+        return (0, 1)