FreeModuleFunctions2(R, S, M1, M2)

poly.spad line 256 [edit on github]

• R : CommutativeRing
• S : Comparable
• M1 : FreeModuleCategory(R, S)
• M2 : Module(R)

linear extensions of maps on the basis

linearExtend : (Mapping(M2, S), M1) -> M2

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