PatternMatchKernel(S, E)

patmatch1.spad line 218 [edit on github]

• S: SetCategory

• E: Join(Comparable, RetractableTo Kernel E, ConvertibleTo Pattern S, PatternMatchable S)

This package provides pattern matching functions on kernels.

patternMatch: (Kernel E, Pattern S, PatternMatchResult(S, E)) -> PatternMatchResult(S, E)

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