> http://fricas.github.io/api/UnivariateLaurentSeriesCategory.html#l-univariate-laurent-series-category-series
>
> Well, it looks a bit vague for my taste

I take that back. SparseUnivariateLaurentSeries behaves correctly. I
somehow missed that the input stream is not supposed to contain zero
coefficients.

> http://axiom-wiki.newsynthesis.org/SandBoxBugLaurentSeries
> demonstrates a bug in UnivariateLaurentSeries.

For this part the fix is attached. May I commit?

Ralf

diff --git a/src/algebra/laurent.spad b/src/algebra/laurent.spad
index 6ca59c5..6caa731 100644
--- a/src/algebra/laurent.spad
+++ b/src/algebra/laurent.spad
@@ -169,7 +169,7 @@ UnivariateLaurentSeriesConstructor(Coef, UTS) : _
       empty? st => empty()
       term := frst st; ex := termExpon term
       n = ex => concat(termCoef term, recsToCoefs(rst st, n + 1))
-      concat(0, recsToCoefs(rst st, n + 1))
+      concat(0, recsToCoefs(st, n + 1))

     series st ==
       empty? st => 0

-- 
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to