gaussian.spad line 494 [edit on github]
S: Join(PatternMatchable R, CommutativeRing)
CS: ComplexCategory S
This package supports matching patterns involving complex expressions
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.
patternMatch(cexpr, pat, res)