diff options
Diffstat (limited to 'src/algebra/aggcat2.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat2.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet index de0df1f0..adb212ad 100644 --- a/src/algebra/aggcat2.spad.pamphlet +++ b/src/algebra/aggcat2.spad.pamphlet @@ -78,14 +78,14 @@ FiniteLinearAggregateFunctions2(S, A, R, B): else -- A is a list-oid, B a mutable array-oid map(f, l) == i := minIndex(w := new(#l,getRSample())$B) - for a in entries l repeat (qsetelt_!(w, i, f a); i := inc i) + for a in entries l repeat (qsetelt!(w, i, f a); i := inc i) w scan(fn, l, ident) == i := minIndex(w := new(#l,getRSample())$B) vl := ident for a in entries l repeat - vl := qsetelt_!(w, i, fn(a, vl)) + vl := qsetelt!(w, i, fn(a, vl)) i := inc i w @@ -105,21 +105,21 @@ FiniteLinearAggregateFunctions2(S, A, R, B): for i in minIndex v .. maxIndex v repeat ident := fn(qelt(v, i), ident) w := concat(ident, w) - reverse_! w + reverse! w else -- A and B are array-oid's if B has shallowlyMutable then -- B is also mutable map(f, v) == w := new(#v,getRSample())$B for i in minIndex w .. maxIndex w repeat - qsetelt_!(w, i, f qelt(v, i)) + qsetelt!(w, i, f qelt(v, i)) w scan(fn, v, ident) == w := new(#v,getRSample())$B vl := ident for i in minIndex v .. maxIndex v repeat - vl := qsetelt_!(w, i, fn(qelt(v, i), vl)) + vl := qsetelt!(w, i, fn(qelt(v, i), vl)) w else -- B non mutable array-oid |