/usr/share/axiom-20170501/src/algebra/BMODULE.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 | )abbrev category BMODULE BiModule
++ Description:
++ A \spadtype{BiModule} is both a left and right module with respect
++ to potentially different rings.
++
++ Axiom\br
++ \tab{5}\spad{r*(x*s) = (r*x)*s}
BiModule(R,S) : Category == SIG where
R : Ring
S : Ring
SIG ==> Join(LeftModule(R),RightModule(S)) with
leftUnitary
++ \spad{1 * x = x}
rightUnitary
++ \spad{x * 1 = x}
|