PatternFunctions2(R, S)

pattern.spad line 434 [edit on github]

• R : SetCategory
• S : SetCategory

Lifts maps to patterns.

map : (Mapping(S, R), Pattern(R)) -> Pattern(S)

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