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.