/usr/share/axiom-20170501/src/algebra/ITFUN3.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 | )abbrev package ITFUN3 InfiniteTupleFunctions3
++ Description:
++ Functions defined on streams with entries in two sets.
InfiniteTupleFunctions3(A,B,C) : SIG == CODE where
A : Type
B : Type
C : Type
IT ==> InfiniteTuple
ST ==> Stream
SF3 ==> StreamFunctions3(A,B,C)
FUN ==> ((A,B)->C)
SIG ==> with
map: (((A,B)->C), IT A, IT B) -> IT C
++ map(f,a,b) \undocumented
map: (((A,B)->C), ST A, IT B) -> ST C
++ map(f,a,b) \undocumented
map: (((A,B)->C), IT A, ST B) -> ST C
++ map(f,a,b) \undocumented
CODE ==> add
map(f:FUN, s1:IT A, s2:IT B):IT C ==
map(f, s1 pretend Stream(A), s2 pretend Stream(B))$SF3 pretend IT(C)
map(f:FUN, s1:ST A, s2:IT B):ST C ==
map(f, s1, s2 pretend Stream(B))$SF3
map(f:FUN, s1:IT A, s2:ST B):ST C ==
map(f, s1 pretend Stream(A), s2)$SF3
|