/usr/share/axiom-20170501/src/algebra/XALG.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 XALG XAlgebra
++ Author: Michel Petitot petitot@lifl.fr
++ Date Created: 91
++ Date Last Updated: 7 Juillet 92
++ Fix History: compilation v 2.1 le 13 dec 98
++ Description:
++ This is the category of algebras over non-commutative rings.
++ It is used by constructors of non-commutative algebras such as
++ XPolynomialRing and XFreeAlgebra
XAlgebra(R) : Category == SIG where
R : Ring
SIG ==> Join(Ring, BiModule(R,R)) with
coerce : R -> %
++ \spad{coerce(r)} equals \spad{r*1}.
if R has CommutativeRing then Algebra(R)
|