PatternFunctions2(R, S)ΒΆ

pattern.spad line 435

Lifts maps to patterns.

map: (R -> S, Pattern R) -> Pattern S
map(f, p) applies f to all the leaves of p and returns the result as a pattern over S.