diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 21:25:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 21:25:44 +0000 |
| commit | b395e2a91f10c0e2c6d704ada9a5c5448b232866 (patch) | |
| tree | 1cb444c69deac0fe728d1d34f501a547270031ef /src/algebra/matcat.spad.pamphlet | |
| parent | ca04dea79c891e462ba6d5b2e4e749d112e76622 (diff) | |
| download | open-axiom-b395e2a91f10c0e2c6d704ada9a5c5448b232866.tar.gz | |
* algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.
Diffstat (limited to 'src/algebra/matcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/matcat.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/matcat.spad.pamphlet b/src/algebra/matcat.spad.pamphlet index 530a083a..6b4a56d5 100644 --- a/src/algebra/matcat.spad.pamphlet +++ b/src/algebra/matcat.spad.pamphlet @@ -493,7 +493,7 @@ MatrixCategory(R,Row,Col): Category == Definition where --convert [convert('matrix)@InputForm, --convert listOfLists x]$List(InputForm) - if Col has shallowlyMutable then + if Col has ShallowlyMutableAggregate R then x:% * v:Col == ncols(x) ~= #v => @@ -507,7 +507,7 @@ MatrixCategory(R,Row,Col): Category == Definition where sum w - if Row has shallowlyMutable then + if Row has ShallowlyMutableAggregate R then v:Row * x:% == nrows(x) ~= #v => |