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 : (Mapping(S, R), PR) -> PS

map(f, p) is undocumented