ComplexPatternMatch(R, S, CS)ΒΆ

gaussian.spad line 494 [edit on github]

This package supports matching patterns involving complex expressions

patternMatch: (CS, Pattern R, PatternMatchResult(R, CS)) -> PatternMatchResult(R, CS) if Polynomial S has PatternMatchable R

patternMatch(cexpr, pat, res) matches the pattern pat to the complex expression cexpr. res contains the variables of pat which are already matched and their matches.