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.