FreeModuleFunctions2(R, S, M1, M2)ΒΆ

poly.spad line 234 [edit on github]

linear extensions of maps on the basis

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

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