diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 20:28:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 20:28:02 +0000 |
| commit | ea12eba42203bb6826e1ada106166b5897dce654 (patch) | |
| tree | 071d6138e851649ba51bf771a99fb67697c73ce9 /src/algebra/aggcat.spad.pamphlet | |
| parent | 0433b6827a5e2abfeea9a13fd76020aacb84ee92 (diff) | |
| download | open-axiom-ea12eba42203bb6826e1ada106166b5897dce654.tar.gz | |
Tidy Collection
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 36de84b1..ab816fbf 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -261,7 +261,7 @@ Collection(S:Type): Category == HomogeneousAggregate(S) with find: (S->Boolean, %) -> Union(S, "failed") ++ find(p,u) returns the first x in u such that \axiom{p(x)} is true, and ++ "failed" otherwise. - if % has finiteAggregate then + if % has FiniteAggregate S then remove: (S->Boolean,%) -> % ++ remove(p,u) returns a copy of u removing all elements x such that ++ \axiom{p(x)} is true. |