/usr/share/axiom-20170501/src/algebra/NASRING.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 | )abbrev category NASRING NonAssociativeRing
++ Author: J. Grabmeier, R. Wisbauer
++ Date Created: 01 March 1991
++ Date Last Updated: 11 June 1991
++ Reference:
++ Scha66 An Introduction to Nonassociative Algebras
++ Description:
++ A NonAssociativeRing is a non associative rng which has a unit,
++ the multiplication is not necessarily commutative or associative.
NonAssociativeRing() : Category == SIG where
SIG ==> Join(NonAssociativeRng,MonadWithUnit) with
characteristic : -> NonNegativeInteger
++ characteristic() returns the characteristic of the ring.
--we can not make this a constant, since some domains are mutable
coerce : Integer -> %
++ coerce(n) coerces the integer n to an element of the ring.
add
n:Integer
coerce(n) == n * 1$%
|