diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
| commit | 1316b335ecc97eeaaa4c91258b31c789d8f4b0d3 (patch) | |
| tree | ed428505010ccaac4e4d2bfeb4f667b8039c50f1 /src/algebra/array2.spad.pamphlet | |
| parent | 4c3e77d5efc19d097c7995f7d5f64eee0400ff66 (diff) | |
| download | open-axiom-1316b335ecc97eeaaa4c91258b31c789d8f4b0d3.tar.gz | |
Use Functorial more often.
Diffstat (limited to 'src/algebra/array2.spad.pamphlet')
| -rw-r--r-- | src/algebra/array2.spad.pamphlet | 6 |
1 files changed, 1 insertions, 5 deletions
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} |