PatternMatchQuotientFieldCategory(S, R, Q)

patmatch1.spad line 691 [edit on github]

• S: SetCategory

• R: Join(IntegralDomain, PatternMatchable S, ConvertibleTo Pattern S)

• Q: QuotientFieldCategory R

This package provides pattern matching functions on quotients.

patternMatch: (Q, Pattern S, PatternMatchResult(S, Q)) -> PatternMatchResult(S, Q)

patternMatch(a/b, pat, res) matches the pattern pat to the quotient a/b; res contains the variables of pat which are already matched and their matches.