RectangularMatrixCategoryFunctions2(m, n, R1, Row1, Col1, M1, R2, Row2, Col2, M2)

matfuns.spad line 344 [edit on github]

• m: NonNegativeInteger

• n: NonNegativeInteger

• R1: Join(SemiRng, AbelianMonoid)

• Row1: DirectProductCategory(n, R1)

• Col1: DirectProductCategory(m, R1)

• M1: RectangularMatrixCategory(m, n, R1, Row1, Col1)

• R2: Join(SemiRng, AbelianMonoid)

• Row2: DirectProductCategory(n, R2)

• Col2: DirectProductCategory(m, R2)

• M2: RectangularMatrixCategory(m, n, R2, Row2, Col2)

RectangularMatrixCategoryFunctions2 provides functions between two matrix domains. The functions provided are map and reduce.

map: (R1 -> R2, M1) -> M2

map(f, m) applies the function f to the elements of the matrix m.

reduce: ((R1, R2) -> R2, M1, R2) -> R2

reduce(f, m, r) returns a matrix n where n[i, j] = f(m[i, j], r) for all indices spad{i} and j.