PolynomialCategoryLifting(E, Vars, R, P, S)ΒΆ

polycat.spad line 709

This package provides a very general map function, which given a set S and polynomials over R with maps from the variables into S and the coefficients into S, maps polynomials into S. S is assumed to support +, * and ^.

map: (Vars -> S, R -> S, P) -> S
map(varmap, coefmap, p) takes a varmap, a mapping from the variables of polynomial p into S, coefmap, a mapping from coefficients of p into S, and p, and produces a member of S using the corresponding arithmetic in S.