aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-19 20:50:24 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-19 20:50:24 +0000
commitca04dea79c891e462ba6d5b2e4e749d112e76622 (patch)
tree6e43d4f8e8a69c601a8571472f517d6d96b4919c /src/algebra
parent070cfd40cc4752cdc20783038fcbdbe9fcc07eff (diff)
downloadopen-axiom-ca04dea79c891e462ba6d5b2e4e749d112e76622.tar.gz
* algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/aggcat2.spad.pamphlet4
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