PatternMatchFunctionSpace(S, R, F)

patmatch1.spad line 807 [edit on github]

• S : SetCategory
• R : Join(IntegralDomain, Comparable, PatternMatchable(S))
• F : Join(FunctionSpace(R), ConvertibleTo(Pattern(S)), PatternMatchable(S), RetractableTo(Kernel(%)))

This package provides pattern matching functions on function spaces.

patternMatch : (F, Pattern(S), PatternMatchResult(S, F)) -> PatternMatchResult(S, F)

patternMatch(expr, pat, res) matches the pattern pat to the expression expr; res contains the variables of pat which are already matched and their matches.