/usr/share/axiom-20170501/src/algebra/TABLE.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 domain TABLE Table
++ Author: Stephen M. Watt, Barry Trager
++ Date Created: 1985
++ Date Last Updated: Sept 15, 1992
++ Description:
++ This is the general purpose table type.
++ The keys are hashed to look up the entries.
++ This creates a \spadtype{HashTable} if equal for the Key
++ domain is consistent with Lisp EQUAL otherwise an
++ \spadtype{AssociationList}
Table(Key,Entry) : SIG == CODE where
Key : SetCategory
Entry : SetCategory
SIG ==> TableAggregate(Key, Entry) with
finiteAggregate
CODE ==> InnerTable(Key, Entry,
if hashable(Key)$Lisp then HashTable(Key, Entry, "UEQUAL")
else AssociationList(Key, Entry))
|