/usr/share/axiom-20170501/src/algebra/PATMAB.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | )abbrev category PATMAB PatternMatchable
++ Category of sets that can be pattern-matched on
++ Author: Manuel Bronstein
++ Date Created: 28 Nov 1989
++ Date Last Updated: 15 Mar 1990
++ Description:
++ A set R is PatternMatchable over S if elements of R can
++ be matched to patterns over S.
PatternMatchable(S) : Category == SIG where
S : SetCategory
SIG ==> SetCategory with
patternMatch : (%, Pattern S, PatternMatchResult(S, %)) ->
PatternMatchResult(S, %)
++ patternMatch(expr, pat, res) matches the pattern pat to the
++ expression expr. res contains the variables of pat which
++ are already matched and their matches (necessary for recursion).
++ Initially, res is just the result of \spadfun{new}
++ which is an empty list of matches.
|