TwoDimensionalArrayFunctions(A, RA, CA, MA, B, RB, CB, MB)

rdeefx.spad line 1 [edit on github]

• A : Type
• RA : FiniteLinearAggregate(A)
• CA : FiniteLinearAggregate(A)
• MA : TwoDimensionalArrayCategory(A, RA, CA)
• B : Type
• RB : FiniteLinearAggregate(B)
• CB : FiniteLinearAggregate(B)
• MB : TwoDimensionalArrayCategory(B, RB, CB)

undocumented

map : (Mapping(B, A), MA) -> MB

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