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: (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.