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 undocumented

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

map(f, x) undocumented