diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 02:59:30 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 02:59:30 +0000 |
| commit | 69e2b34c18cbd9b5aff906db560b44871103d676 (patch) | |
| tree | 2c7c91b6d91db22e7c8cf594d879268e6f36366b /src/algebra/array2.spad.pamphlet | |
| parent | 003f78cdb3e973631cc141814a89b92275988aaf (diff) | |
| download | open-axiom-69e2b34c18cbd9b5aff906db560b44871103d676.tar.gz | |
* algebra/aggcat.spad.pamphlet: Replace uses of parts by members.
Diffstat (limited to 'src/algebra/array2.spad.pamphlet')
| -rw-r--r-- | src/algebra/array2.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet index 217d9cad..4828c081 100644 --- a/src/algebra/array2.spad.pamphlet +++ b/src/algebra/array2.spad.pamphlet @@ -32,9 +32,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where R : Type Row : FiniteLinearAggregate R Col : FiniteLinearAggregate R - Definition == FiniteAggregate R with - shallowlyMutable - ++ one may destructively alter arrays + Definition == Join(FiniteAggregate R,ShallowlyMutableAggregate R) with --% Array creation new: (NonNegativeInteger,NonNegativeInteger,R) -> % ++ new(m,n,r) is an m-by-n array all of whose entries are r |