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.