/usr/share/axiom-20170501/src/algebra/SAOS.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 | )abbrev domain SAOS SingletonAsOrderedSet
++ Author: Mark Botch
++ Description:
++ This trivial domain lets us build Univariate Polynomials
++ in an anonymous variable
SingletonAsOrderedSet() : SIG == CODE where
SIG ==> OrderedSet with
create:() -> %
convert:% -> Symbol
CODE ==> add
create() == "?" pretend %
a<b == false -- only one element
coerce(a) == outputForm "?" -- CJW doesn't like this: change ?
a=b == true -- only one element
min(a,b) == a -- only one element
max(a,b) == a -- only one element
convert a == coerce("?")
|