Martin Rubey <[email protected]> writes:
> I do not see any advantage in allowing finite coefficient streams.
Finally, I did find the bit of code that makes finite coefficient
streams necessary:
)abbrev domain EXPUPXS ExponentialOfUnivariatePuiseuxSeries
++ Author: Clifton J. Williamson
Implementation ==> UPXS add
Rep := UPXS
f = g ==
-- we redefine equality because we know that we are dealing with
-- a FINITE series, so there is no danger in computing all terms
(entries complete terms f) = (entries complete terms g)
I guess we should add this somewhere to the documentation. It seems to
me, that this bit of code requires that polynomials have finite
coefficient stream. Does anybody know where to put this? In
particular: do we only require this for UPXS, or also for other types of
series?
It would be nicer to have a domain specifically for finite series, I
think. But no time...
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.
