diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-16 23:40:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-16 23:40:32 +0000 |
| commit | a77534307be15ee6d85fbc31cc2717cae874d209 (patch) | |
| tree | 122c244845a8e08f26f9c7377932055116c5d3ee /src/algebra/array2.spad.pamphlet | |
| parent | 24a5eab19bc5eb0a76c548085fa0dc3b917ccb51 (diff) | |
| download | open-axiom-a77534307be15ee6d85fbc31cc2717cae874d209.tar.gz | |
* algebra/sortpak.spad.pamphlet (SortPackage): Have second
parameter satisfy FiniteAggregate A instead of requiring attribute
finiteAggregate.
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now
extends FiniteAggregate. Remove finiteAggregate attribute.
Diffstat (limited to 'src/algebra/array2.spad.pamphlet')
| -rw-r--r-- | src/algebra/array2.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet index 44e5ad29..217d9cad 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: 27 June 1990 +++ Date Last Updated: May 16, 2013 ++ Keywords: array, data structure ++ Examples: ++ References: @@ -32,11 +32,9 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where R : Type Row : FiniteLinearAggregate R Col : FiniteLinearAggregate R - Definition == HomogeneousAggregate(R) with + Definition == FiniteAggregate R with shallowlyMutable ++ one may destructively alter arrays - finiteAggregate - ++ two-dimensional arrays are finite --% Array creation new: (NonNegativeInteger,NonNegativeInteger,R) -> % ++ new(m,n,r) is an m-by-n array all of whose entries are r |