I've just updated my branch https://github.com/hemmecke/fricas/commits/elt-universalsegment
to be in line with the "intersection of indices" see testcases for detail. Ralf On 02.06.22 20:15, Waldek Hebisch wrote:
If i=1.. or i=1..e describes the indices of a given stream s and u is a universal segment of the form a..b by c, then s(u) should be [s.idx for idx in i | idx in expand(u)] with the obvious meaning of the condition 'idx in expand(u)'.Oh I should have rather exchanged u and i above. That is (informally) [s.idx for idx in u | idx in expand(i)] because that would correctly give the order in which the elements are returned even in the case of c<0 or if u = ((a..) by c).Informal meaning of 'elt' should be clear. The problem is in fine details and corner cases and those IMO boil down to fact that streams are lazy and list are eager.
-- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/1229841b-08c0-5a9c-3c38-9729ec80aee3%40hemmecke.org.
