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

polycat.spad line 727 [edit on github]

• E : OrderedAbelianMonoidSup
• Vars : OrderedSet
• R : Join(SemiRng, AbelianMonoid)
• P : PolynomialCategory(R, E, Vars)
• S : with

  + : (%, %) -> %

  * : (%, %) -> %

  ^ : (%, NonNegativeInteger) -> %

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 : (Mapping(S, Vars), Mapping(S, R), 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.