ApplyUnivariateSkewPolynomial(R, M, P)

ore.spad line 269 [edit on github]

• R : Ring
• M : LeftModule(R)
• P : UnivariateSkewPolynomialCategory(R)

ApplyUnivariateSkewPolynomial (internal) allows univariate skew polynomials to be applied to appropriate modules.

apply : (P, Mapping(M, M), M) -> M

apply(p, f, m) returns p(m) where the action is given by x m = f(m). f must be an R-pseudo linear map on M.