/usr/share/axiom-20170501/src/algebra/ALAGG.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 ALAGG AssociationListAggregate
++ Author: Michael Monagan; revised by Manuel Bronstein and Richard Jenks
++ Date Created: August 87 through August 88
++ Date Last Updated: April 1991
++ Description:
++ An association list is a list of key entry pairs which may be viewed
++ as a table. It is a poor mans version of a table:
++ searching for a key is a linear operation.
AssociationListAggregate(Key,Entry) : Category == SIG where
Key : SetCategory
Entry : SetCategory
TA ==> TableAggregate(Key,Entry)
LA ==> ListAggregate(Record(key:Key,entry:Entry))
SIG ==> Join(TA,LA) with
assoc : (Key, %) -> Union(Record(key:Key,entry:Entry), "failed")
++ assoc(k,u) returns the element x in association list u stored
++ with key k, or "failed" if u has no key k.
|