aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog4
-rw-r--r--src/algebra/aggcat2.spad.pamphlet4
2 files changed, 6 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index e8299e4c..91302ecf 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,9 @@
2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
+ * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.
+
+2013-05-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
+
* algebra/newdata.spad.pamphlet (SplittingTree): Include
ShallowlyMutableAggregate S in exports.
* algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude
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