/usr/share/axiom-20170501/src/algebra/MODMONOM.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 40 41 42 43 | )abbrev domain MODMONOM ModuleMonomial
++ Author: Mark Botch
++ Description:
++ This package has no documentation
ModuleMonomial(IS,E,ff) : SIG == CODE where
IS : OrderedSet
E : SetCategory
MM ==> Record(index:IS, exponent:E)
ff : (MM, MM) -> Boolean
SIG ==> OrderedSet with
exponent : $ -> E
++ exponent(x) is not documented
index : $ -> IS
++ index(x) is not documented
coerce : MM -> $
++ coerce(x) is not documented
coerce : $ -> MM
++ coerce(x) is not documented
construct : (IS, E) -> $
++ construct(i,e) is not documented
CODE ==> MM add
Rep:= MM
x:$ < y:$ == ff(x::Rep, y::Rep)
exponent(x:$):E == x.exponent
index(x:$): IS == x.index
coerce(x:$):MM == x::Rep::MM
coerce(x:MM):$ == x::Rep::$
construct(i:IS, e:E):$ == [i, e]$MM::Rep::$
|