StreamFunctions3(A, B, C)ΒΆ

stream.spad line 1194

Functions defined on streams with entries in three sets.

map: ((A, B) -> C, Stream A, Stream B) -> Stream C
map(f, st1, st2) returns the stream whose elements are the function f applied to the corresponding elements of st1 and st2. Note: map(f, [x0, x1, x2, ..], [y0, y1, y2, ..]) = [f(x0, y0), f(x1, y1), ..].