PatternMatchFunctionSpace(S, R, F)ΒΆ

patmatch1.spad line 796

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.