diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:14:27 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 06:14:27 +0000 |
| commit | 979b28507f84eff5c739879f4b15e595eeab00f9 (patch) | |
| tree | 4fb4f1ee6472e1ef7290264c83dde41d21031b67 /src/algebra/mset.spad.pamphlet | |
| parent | a6ba684e87ea28ea0a5ad8746a15d3575eb5c8f9 (diff) | |
| download | open-axiom-979b28507f84eff5c739879f4b15e595eeab00f9.tar.gz | |
Define members, not parts
Diffstat (limited to 'src/algebra/mset.spad.pamphlet')
| -rw-r--r-- | src/algebra/mset.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/mset.spad.pamphlet b/src/algebra/mset.spad.pamphlet index 6fd60011..f11bb9a9 100644 --- a/src/algebra/mset.spad.pamphlet +++ b/src/algebra/mset.spad.pamphlet @@ -32,7 +32,7 @@ Multiset(S: SetCategory): Join(MultisetAggregate S,FiniteAggregate S,ShallowlyMu ++ multiset(ls) creates a multiset with elements from \spad{ls}. unique: % -> List S ++ \spad{unique ms} returns a list of the elements of \spad{ms} - ++ {\em without} their multiplicity. See also \spadfun{parts}. + ++ {\em without} their multiplicity. See also \spadfun{members}. remove: (S,%,Integer) -> % ++ remove(x,ms,number) removes at most \spad{number} copies of ++ element x if \spad{number} is positive, all of them if @@ -97,7 +97,7 @@ Multiset(S: SetCategory): Join(MultisetAggregate S,FiniteAggregate S,ShallowlyMu if S has ConvertibleTo InputForm then convert(ms:%):InputForm == convert [convert('multiset)@InputForm, - convert(parts ms)@InputForm] + convert(members ms)@InputForm] unique(ms:%):List S == keys ms.table @@ -219,7 +219,7 @@ Multiset(S: SetCategory): Join(MultisetAggregate S,FiniteAggregate S,ShallowlyMu map(f: S -> S, ms:%):% == map!(f, copy ms) -- HomogeneousAggregate - parts(m:%):List S == + members(m:%):List S == l := empty()$List(S) t := m.table for e in keys t repeat |