On Wed, Jun 01, 2022 at 06:44:33PM +0200, Ralf Hemmecke wrote:
> On 31.05.22 22:42, Ralf Hemmecke wrote:
> >OK. then the design decision is:
> >
> >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.
--
Waldek Hebisch
--
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/20220602181535.GC29994%40fricas.math.uni.wroc.pl.
