/usr/share/axiom-20170501/src/algebra/RNG.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 | )abbrev category RNG Rng
++ Description:
++ The category of associative rings, not necessarily commutative, and not
++ necessarily with a 1. This is a combination of an abelian group
++ and a semigroup, with multiplication distributing over addition.
++
++ Axioms\br
++ \tab{5}\spad{x*(y+z) = x*y + x*z}\br
++ \tab{5}\spad{(x+y)*z = x*z + y*z}
++
++ Conditional attributes\br
++ \tab{5}noZeroDivisors\tab{5}\spad{ab = 0 => a=0 or b=0}
Rng() : Category == SIG where
SIG ==> Join(AbelianGroup,SemiGroup)
|