Martin Rubey <[email protected]> writes:
>>> 1) there is no bug, we should only specify in coefficients that a
>>> finite stream means that the remaining coefficients are zero
>>
>> I think this is the case.
>>
>>> 2) series: Stream Coef -> % should require that the given stream is
>>> infinite. (but cannot check that of course)
>>
>> But why?
>
> because in my opinion a power series always has infinitely many
> coefficients.
I wanted to add: and I actually need such an infinite sequence. If the
stream was specified to be infinite, coefficient$UTS wouldn't have to
work around it:
coefficient(x,n) ==
-- Cannot use elt! Should return 0 if stream doesn't have it.
u := stream x
while not empty? u and n > 0 repeat
u := rst u
n := (n - 1) :: NNI
empty? u or n ~= 0 => 0
frst u
elt(x:%,n:NNI) == coefficient(x,n)
If we keep it as it is currently, I will have to work around it in
another place...
I do not see any advantage in allowing finite coefficient streams. In
particular, I have no idea what you meant with:
> Why?
> Then you could not check s=s as I said above, so you would lose
> computational power.
Martin
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
