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

tensor.spad line 415 [edit on github]

• n: NonNegativeInteger

• R: CommutativeRing

• B: OrderedSet

• M1: FreeModuleCategory(R, B)

• M2: Module R

linear extensions of maps on the basis

linearExtend: (List B -> M2, 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