/usr/share/axiom-20170501/src/algebra/COMM.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 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 | )abbrev domain COMM Commutator
++ Author : Larry Lambe
++ Date created: 30 June 1988.
++ Updated : 10 March 1991
++ Description:
++ A type for basic commutators
Commutator() : SIG == CODE where
I ==> Integer
OSI ==> OrdSetInts
O ==> OutputForm
SIG ==> SetCategory with
mkcomm : I -> %
++ mkcomm(i) is not documented
mkcomm : (%,%) -> %
++ mkcomm(i,j) is not documented
CODE ==> add
P := Record(left:%,right:%)
Rep := Union(OSI,P)
x,y: %
i : I
x = y ==
(x case OSI) and (y case OSI) => x::OSI = y::OSI
(x case P) and (y case P) =>
xx:P := x::P
yy:P := y::P
(xx.right = yy.right) and (xx.left = yy.left)
false
mkcomm(i) == i::OSI
mkcomm(x,y) == construct(x,y)$P
coerce(x: %): O ==
x case OSI => x::OSI::O
xx := x::P
bracket([xx.left::O,xx.right::O])$O
|