PatternMatchIntegerNumberSystem I

patmatch1.spad line 614 [edit on github]

• I: IntegerNumberSystem

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.