From 1316b335ecc97eeaaa4c91258b31c789d8f4b0d3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 20 May 2013 04:55:09 +0000 Subject: Use Functorial more often. --- src/algebra/array2.spad.pamphlet | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'src/algebra/array2.spad.pamphlet') diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet index 6a7330dc..00450e5d 100644 --- a/src/algebra/array2.spad.pamphlet +++ b/src/algebra/array2.spad.pamphlet @@ -15,7 +15,7 @@ ++ Two dimensional array categories and domains ++ Author: ++ Date Created: 27 October 1989 -++ Date Last Updated: May 16, 2013 +++ Date Last Updated: May 19, 2013 ++ Keywords: array, data structure ++ Examples: ++ References: @@ -85,10 +85,6 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where setColumn!: (%,Integer,Col) -> % ++ setColumn!(m,j,v) sets to jth column of m to v --% Map and Zip - map: (R -> R,%) -> % - ++ map(f,a) returns \spad{b}, where \spad{b(i,j) = f(a(i,j))} for all \spad{i, j} - map!: (R -> R,%) -> % - ++ map!(f,a) assign \spad{a(i,j)} to \spad{f(a(i,j))} for all \spad{i, j} map:((R,R) -> R,%,%) -> % ++ map(f,a,b) returns \spad{c}, where \spad{c(i,j) = f(a(i,j),b(i,j))} ++ for all \spad{i, j} -- cgit v1.2.3