/usr/share/axiom-20170501/src/algebra/STNSR.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 | )abbrev package STNSR StreamTensor
++ Description:
++ This package has no description
StreamTensor(R) : SIG == CODE where
R : Type
SIG ==> with
tensorMap : (Stream R, R -> List R) -> Stream R
++ tensorMap([s1, s2, ...], f) returns the stream consisting of all
++ elements of f(s1) followed by all elements of f(s2) and so on.
CODE ==> add
tensorMap(s, f) ==
empty? s => empty()
concat([f first s], delay tensorMap(rest s, f))
|