VectorFieldModule, TensorFieldModule, DiffFormModule: Add methods tensor_product, tensor_power, update category of TensorFieldModule #34589
Description
... as previously done for FiniteRankFreeModule etc.
We introduce abstract base classes ReflexiveModule_* to unify the implementations of VectorFieldModule... and FiniteRankFreeModule/VectorFieldFreeModule...
Follow-up: #34621 Method dual_pairing for modules in sage.tensor
CC: @egourgoulhon @tscrim @mjungmath
Component: manifolds
Author: Matthias Koeppe
Branch/Commit: 74601e6
Reviewer: Eric Gourgoulhon
Issue created by migration from https://trac.sagemath.org/ticket/34589