ComplexPatternMatch(R, S, CS)

gaussian.spad line 494 [edit on github]

• R: SetCategory

• S: Join(PatternMatchable R, CommutativeRing)

• CS: ComplexCategory S

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.