ApplyUnivariateSkewPolynomial(R, M, P)ΒΆ

ore.spad line 270

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.