PatternMatchIntegerNumberSystem IΒΆ

patmatch1.spad line 610

This package provides pattern matching functions on integers.

patternMatch: (I, Pattern Integer, PatternMatchResult(Integer, I)) -> PatternMatchResult(Integer, I)
patternMatch(n, pat, res) matches the pattern pat to the integer n; res contains the variables of pat which are already matched and their matches.