TensorPowerFunctions2(n, R, B, M1, M2)

tensor.spad line 414 [edit on github]

• n : NonNegativeInteger
• R : CommutativeRing
• B : OrderedSet
• M1 : FreeModuleCategory(R, B)
• M2 : Module(R)

linear extensions of maps on the basis

linearExtend : (Mapping(M2, List(B)), TensorPower(n, R, B, M1)) -> M2

linearExtend: (f, x) returns the linear extension of a multilinear map defined on the basis of M2 applied to a linear combination