PatternMatchQuotientFieldCategory(S, R, 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.