diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-19 20:50:24 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 20:50:24 +0000 |
commit | ca04dea79c891e462ba6d5b2e4e749d112e76622 (patch) | |
tree | 6e43d4f8e8a69c601a8571472f517d6d96b4919c /src/algebra/aggcat2.spad.pamphlet | |
parent | 070cfd40cc4752cdc20783038fcbdbe9fcc07eff (diff) | |
download | open-axiom-ca04dea79c891e462ba6d5b2e4e749d112e76622.tar.gz |
* algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.
Diffstat (limited to 'src/algebra/aggcat2.spad.pamphlet')
-rw-r--r-- | src/algebra/aggcat2.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet index 816a467c..cf668b32 100644 --- a/src/algebra/aggcat2.spad.pamphlet +++ b/src/algebra/aggcat2.spad.pamphlet @@ -66,7 +66,7 @@ FiniteLinearAggregateFunctions2(S, A, R, B): empty? l => ident reduce(fn, rest l, fn(first l, ident)) - if B has ListAggregate(R) or not(B has shallowlyMutable) then + if B has ListAggregate(R) or not(B has ShallowlyMutableAggregate R) then -- A is a list-oid, and B is either list-oids or not mutable map(f, l) == construct [f s for s in entries l] @@ -108,7 +108,7 @@ FiniteLinearAggregateFunctions2(S, A, R, B): reverse! w else -- A and B are array-oid's - if B has shallowlyMutable then -- B is also mutable + if B has ShallowlyMutableAggregate R then -- B is also mutable map(f, v) == w := new(#v,getRSample())$B for i in minIndex w .. maxIndex w repeat |