PatternMatchPolynomialCategory(S, E, V, R, P)ΒΆ

patmatch1.spad line 717

This package provides pattern matching functions on polynomials.

patternMatch: (P, Pattern S, PatternMatchResult(S, P)) -> PatternMatchResult(S, P) if V has PatternMatchable S
patternMatch(p, pat, res) matches the pattern pat to the polynomial p; res contains the variables of pat which are already matched and their matches.
patternMatch: (P, Pattern S, PatternMatchResult(S, P), (V, Pattern S, PatternMatchResult(S, P)) -> PatternMatchResult(S, P)) -> PatternMatchResult(S, P)
patternMatch(p, pat, res, vmatch) matches the pattern pat to the polynomial p. res contains the variables of pat which are already matched and their matches; vmatch is the matching function to use on the variables.