MPolyCatFunctions3(Vars1, Vars2, E1, E2, R, PR1, PR2)

poltopol.spad line 38 [edit on github]

• Vars1 : OrderedSet
• Vars2 : OrderedSet
• E1 : OrderedAbelianMonoidSup
• E2 : OrderedAbelianMonoidSup
• R : Ring
• PR1 : PolynomialCategory(R, E1, Vars1)
• PR2 : PolynomialCategory(R, E2, Vars2)

This package is undocumented

map : (Mapping(Vars2, Vars1), PR1) -> PR2

map(f, x) is undocumented