>
> Suppose, p is an infinite powerseries and p' is it's inverse. Then
> c=p*p' is a series that only has zero coefficients after the constant term.
>
> Then creating the stream of (coefficient, exponent)-pairs, i.e. calling
> terms(c) leads to a stream that cannot compute its second entry.
<snip>
> Yes, it's clear that it cannot return anything, because it is just
> looking for the next non-zero coefficient (which doesn't exist).
> Nevertheless, wouldn't it be advantageous to add a remark to the
> specification of the terms function that one should be careful with
> series that are not (constructively) known to be finite.
>
> For example
>
> series terms c
>
> does not give a laurent series that one can ask for the second coefficient.
>
> Proposed patch is attached.
OK.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
