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

patmatch1.spad line 725 [edit on github]

• S : SetCategory
• E : OrderedAbelianMonoidSup
• V : OrderedSet
• R : Join(Ring, Comparable, PatternMatchable(S))
• P : Join(PolynomialCategory(R, E, V), ConvertibleTo(Pattern(S)))

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), Mapping(PatternMatchResult(S, P), V, Pattern(S), 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.