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/matcat.spad.pamphlet | |
| parent | 4c3e77d5efc19d097c7995f7d5f64eee0400ff66 (diff) | |
| download | open-axiom-1316b335ecc97eeaaa4c91258b31c789d8f4b0d3.tar.gz | |
Use Functorial more often.
Diffstat (limited to 'src/algebra/matcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/matcat.spad.pamphlet | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/algebra/matcat.spad.pamphlet b/src/algebra/matcat.spad.pamphlet index 6b4a56d5..f183082a 100644 --- a/src/algebra/matcat.spad.pamphlet +++ b/src/algebra/matcat.spad.pamphlet @@ -550,7 +550,7 @@ MatrixCategory(R,Row,Col): Category == Definition where )abbrev category RMATCAT RectangularMatrixCategory ++ Authors: Grabmeier, Gschnitzer, Williamson ++ Date Created: 1987 -++ Date Last Updated: July 1990 +++ Date Last Updated: May 19, 2013. ++ Basic Operations: ++ Related Domains: RectangularMatrix(m,n,R) ++ Also See: @@ -643,9 +643,6 @@ RectangularMatrixCategory(m,n,R,Row,Col): Category == Definition where ++ Error: if the index outside the proper range. --% Map and Zip - - map: (R -> R,%) -> % - ++ \spad{map(f,a)} returns b, where \spad{b(i,j) = a(i,j)} for all i, j. map:((R,R) -> R,%,%) -> % ++ \spad{map(f,a,b)} returns c, where c is such that ++ \spad{c(i,j) = f(a(i,j),b(i,j))} for all \spad{i}, j. |