/usr/share/axiom-20170501/src/algebra/INCRMAPS.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 | )abbrev package INCRMAPS IncrementingMaps
++ Date Last Updated: June 4, 1991
++ Description:
++ This package provides operations to create incrementing functions.
IncrementingMaps(R) : SIG == CODE where
R : Join(Monoid, AbelianSemiGroup)
SIG ==> with
increment : () -> (R -> R)
++ increment() produces a function which adds \spad{1} to whatever
++ argument it is given. For example, if {f := increment()} then
++ \spad{f x} is \spad{x+1}.
incrementBy : R -> (R -> R)
++ incrementBy(n) produces a function which adds \spad{n} to whatever
++ argument it is given. For example, if {f := increment(n)} then
++ \spad{f x} is \spad{x+n}.
CODE ==> add
increment() == x +-> 1 + x
incrementBy n == x +-> n + x
|