Tensor Product Method for FiniteRankFreeModule #31276
Description
We introduce the methods tensor_product and tensor_power as per #30373.
Things that are probably nice to get to work:
sage: M = FiniteRankFreeModule(QQ, 2)
sage: M.tensor_product(M)
sage: M.tensor_product(M.tensor_module(1,2))
sage: M.tensor_module(1,2).tensor_product(M)
sage: M.tensor_module(1,1).tensor_product(M.tensor_module(1,2))
sage: M.tensor_power(3)
sage: M.tensor_module(1,2).tensor_power(3)
Not in this ticket: products between different underlying modules such as:
sage: M = FiniteRankFreeModule(QQ, 2)
sage: N = FiniteRankFreeModule(QQ, 3)
sage: M.tensor_product(N)
sage: N.tensor_product(M.tensor_module(1,2))
sage: N.tensor_module(1,2).tensor_product(M)
sage: N.tensor_module(1,1).tensor_product(M.tensor_module(1,2))
CC: @tscrim @egourgoulhon @jhpalmieri @mkoeppe @fchapoton
Component: algebra
Author: Matthias Koeppe
Branch: 3929d2e
Reviewer: Eric Gourgoulhon
Issue created by migration from https://trac.sagemath.org/ticket/31276