MPolyCatFunctions2(VarSet, E1, E2, R, S, PR, PS)

poltopol.spad line 1 [edit on github]

• VarSet: OrderedSet

• E1: OrderedAbelianMonoidSup

• E2: OrderedAbelianMonoidSup

• R: Ring

• S: Ring

• PR: PolynomialCategory(R, E1, VarSet)

• PS: PolynomialCategory(S, E2, VarSet)

Utilities for MPolyCat.

map: (R -> S, PR) -> PS

map(f, p) undocumented