PatternMatchQuotientFieldCategory(S, R, Q)ΒΆ

patmatch1.spad line 683

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.