diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 04:08:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 04:08:38 +0000 |
| commit | 90ab94b8d969b3e0af53dc388718869a81fb2dfa (patch) | |
| tree | 1c0154c8e409c2b3934b4e4d2897666ee96cef98 /src/algebra/mset.spad.pamphlet | |
| parent | 69e2b34c18cbd9b5aff906db560b44871103d676 (diff) | |
| download | open-axiom-90ab94b8d969b3e0af53dc388718869a81fb2dfa.tar.gz | |
* algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from
members to avoid semantics clash.
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 e4dd72e7..6fd60011 100644 --- a/src/algebra/mset.spad.pamphlet +++ b/src/algebra/mset.spad.pamphlet @@ -30,8 +30,8 @@ Multiset(S: SetCategory): Join(MultisetAggregate S,FiniteAggregate S,ShallowlyMu ++ multiset(s) creates a multiset with singleton s. multiset: List S -> % ++ multiset(ls) creates a multiset with elements from \spad{ls}. - members: % -> List S - ++ members(ms) returns a list of the elements of \spad{ms} + unique: % -> List S + ++ \spad{unique ms} returns a list of the elements of \spad{ms} ++ {\em without} their multiplicity. See also \spadfun{parts}. remove: (S,%,Integer) -> % ++ remove(x,ms,number) removes at most \spad{number} copies of @@ -99,7 +99,7 @@ Multiset(S: SetCategory): Join(MultisetAggregate S,FiniteAggregate S,ShallowlyMu convert [convert('multiset)@InputForm, convert(parts ms)@InputForm] - members(ms:%):List S == keys ms.table + unique(ms:%):List S == keys ms.table coerce(ms:%):OutputForm == l: List OutputForm := empty() |