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, 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.