first:(%,NNI)->% is available for UnaryRecursiveAggregate,
but it should also available for LinearAggregate, especially
IndexedVector.
diff --git a/src/algebra/aggcat.spad b/src/algebra/aggcat.spad
index 10d1f5a7..a4892029 100644
--- a/src/algebra/aggcat.spad
+++ b/src/algebra/aggcat.spad
@@ -1702,6 +1702,9 @@
++ delete(u, i..j) returns a copy of u with the \spad{i}th through
++ \spad{j}th element deleted.
++ Note: \spad{delete(a, i..j) = concat(a(0..i-1), a(j+1..))}.
+ first : (%, NonNegativeInteger) -> %
+ ++ first(u, n) returns a copy of the first n (\spad{n >= 0})
elements x of u.
+ ++ Error: if u is empty.
insert : (S, %, Integer) -> %
++ insert(x, u, i) returns a copy of u having x as its \spad{i}th
++ element.
@@ -1787,6 +1790,7 @@
concat(a : %, x : S) == concat(a, new(1, x))
concat(x : S, y : %) == concat(new(1, x), y)
insert(x : S, a : %, i : Integer) == insert(new(1, x), a, i)
+ first(x, n) == x.(minIndex(x)+(0..(n-1)))
if % has finiteAggregate then
--
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.
