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.