function 'find' is only meaningful for finiteAggregate
diff --git a/src/algebra/aggcat.spad b/src/algebra/aggcat.spad
index e51ad717..c6adb24e 100644
--- a/src/algebra/aggcat.spad
+++ b/src/algebra/aggcat.spad
@@ -180,10 +180,10 @@
++ \spad{construct([x, y, ..., z])} returns the collection of
elements \spad{x, y, ..., z}
++ ordered as given. Equivalently written as \spad{[x, y, ...,
z]$D}, where
++ D is the domain. D may be omitted for those of type List.
- find : (S -> Boolean, %) -> Union(S, "failed")
- ++ find(p, u) returns the first x in u such that \spad{p(x)} is true, and
- ++ "failed" otherwise.
if % has finiteAggregate then
+ find : (S -> Boolean, %) -> Union(S, "failed")
+ ++ find(p, u) returns the first x in u such that \spad{p(x)}
is true, and
+ ++ "failed" otherwise.
reduce : ((S, S) -> S, %) -> S
++ reduce(f, u) reduces the binary operation f across u. For example,
++ if u is \spad{[x, y, ..., z]} then \spad{reduce(f, u)}
returns \spad{f(..f(f(x, y), ...), z)}.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
