PatternMatchKernel(S, E)ΒΆ

patmatch1.spad line 218

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.