VectorFunctions2(A, B)

vector.spad line 192 [edit on github]

• A : Type
• B : Type

This package provides operations which all take as arguments vectors of elements of some type A and functions from A to another of type B. The operations all iterate over their vector argument and either return a value of type B or a vector over B.

map : (Mapping(Union(B, "failed"), A), Vector(A)) -> Union(Vector(B), "failed")

map(f, v) applies the function f to every element of the vector v producing a new vector containing the values or "failed".

map : (Mapping(B, A), Vector(A)) -> Vector(B)

map(f, v) applies the function f to every element of the vector v producing a new vector containing the values.

reduce : (Mapping(B, A, B), Vector(A), B) -> B

reduce(func, vec, ident) combines the elements in vec using the binary function func. Argument ident is returned if vec is empty.

scan : (Mapping(B, A, B), Vector(A), B) -> Vector(B)

scan(func, vec, ident) creates a new vector whose elements are the result of applying reduce to the binary function func, increasing initial subsequences of the vector vec, and the element ident.