fix split! signature and documentation
diff --git a/src/algebra/aggcat.spad b/src/algebra/aggcat.spad
index c7fef5c..bf2f048 100644
--- a/src/algebra/aggcat.spad
+++ b/src/algebra/aggcat.spad
@@ -1385,11 +1385,12 @@ UnaryRecursiveAggregate(S : Type) : Category
== RecursiveAggregate S with
++ setlast!(u, x) destructively changes the last element of u to x.
++ Error if u is empty.
setelt! : (%, "last", S) -> S
- ++ setelt!(u, "last", x) (also written: \spad{u.last := b})
- ++ is equivalent to \spad{setlast!(u, v)}.
- split! : (%, Integer) -> %
- ++ split!(u, n) splits u into two aggregates: \spad{v = rest(u, n)}
- ++ and \spad{w = first(u, n)}, returning \spad{v}.
+ ++ setelt!(u, "last", x) (also written: \spad{u.last := x})
+ ++ is equivalent to \spad{setlast!(u, x)}.
+ split! : (%, NonNegativeInteger) -> %
+ ++ split!(u, n) splits u into two aggregates: returning
\spad{rest(u, n)}
+ ++ and set u to \spad{first(u, n)}. If n is 0, split! currently only
+ ++ works for Stream and gives error for List.
++ Note: afterwards \spad{rest(u, n)} returns \spad{empty()}.
add
--
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.
