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

poltopol.spad line 38

This package undocumented

map: (Vars1 -> Vars2, PR1) -> PR2
map(f, x) undocumented