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.