/usr/share/axiom-20170501/src/algebra/OSI.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 | )abbrev domain OSI OrdSetInts
++ Author: Larry Lambe
++ Date created: 14 August 1988
++ Date Last Updated: 11 March 1991
++ Description:
++ A domain used in order to take the free R-module on the
++ Integers I. This is actually the forgetful functor from OrderedRings
++ to OrderedSets applied to I
OrdSetInts() : SIG == CODE where
I ==> Integer
L ==> List
O ==> OutputForm
SIG ==> OrderedSet with
coerce : Integer -> %
++ coerce(i) returns the element corresponding to i
value : % -> I
++ value(x) returns the integer associated with x
CODE ==> add
Rep := Integer
x,y: %
x = y == x =$Rep y
x < y == x <$Rep y
coerce(i:Integer):% == i
value(x) == x:Rep
coerce(x):O ==
sub(e::Symbol::O, coerce(x)$Rep)$O
|