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), (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.