diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:52:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:52:11 +0000 |
commit | 0611af2a9349c640402fded93ddc53f641af9967 (patch) | |
tree | 6ae1e25b47382ea2d3083c83d8cbecc4368619f9 /src/algebra/aggcat2.spad.pamphlet | |
parent | 979b28507f84eff5c739879f4b15e595eeab00f9 (diff) | |
download | open-axiom-0611af2a9349c640402fded93ddc53f641af9967.tar.gz |
Use members, not parts
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} |