PatternMatchSymbol(S)

patmatch1.spad line 195 [edit on github]

• S : SetCategory

This package provides pattern matching functions on symbols.

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

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 (necessary for recursion).