It currently uses:

    def _apply_functor(self, ambient):
        return ambient.span_of_basis(self.basis)

The method span_of_basis is only defined for the free modules of sage.modules. We generalize it to CombinatorialFreeModule (and all ModulesWithBasis).

Follow up: Handle the case of tensor modules of a FiniteRankFreeModule: only detect whether the given basis is one of the submodules with prescribed symmetries from #30229; in all other cases, we raise NotImplementedError.

CC: @tscrim @egourgoulhon @simon-king-jena

Component: linear algebra

Author: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/34475