diff options
Diffstat (limited to 'src/algebra/aggcat2.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat2.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet index 0bfd05b6..816a467c 100644 --- a/src/algebra/aggcat2.spad.pamphlet +++ b/src/algebra/aggcat2.spad.pamphlet @@ -182,11 +182,11 @@ FiniteSetAggregateFunctions2(S, A, R, B): Exports == Implementation where Implementation ==> add map(fn, a) == - set(map(fn, parts a)$ListFunctions2(S, R))$B + set(map(fn, members a)$ListFunctions2(S, R))$B reduce(fn, a, ident) == - reduce(fn, parts a, ident)$ListFunctions2(S, R) + reduce(fn, members a, ident)$ListFunctions2(S, R) scan(fn, a, ident) == - set(scan(fn, parts a, ident)$ListFunctions2(S, R))$B + set(scan(fn, members a, ident)$ListFunctions2(S, R))$B @ \section{License} |