This stack overflow bug is caused by not lazy evaluating
stream. The following patch fixes this bug:
diff --git a/src/algebra/sups.spad b/src/algebra/sups.spad
index 02e87126..b8765c66 100644
--- a/src/algebra/sups.spad
+++ b/src/algebra/sups.spad
@@ -208,7 +208,7 @@
coerce(n : I) == n :: Coef :: %
coerce(r : Coef) == monomial(r, 0)
- iSeries(x, refer) ==
+ iSeries(x, refer) == delay
empty? x => (setelt!(refer, plusInfinity()); empty())
setelt!(refer, (getExpon frst x) :: COM)
concat(frst x, iSeries(rst x, refer))
@@ -1233,7 +1233,7 @@ SparseUnivariateTaylorSeries(Coef, var, cen) :
Exports == Implementation where
makeSeries(refer, iSeries(st, 0, refer))
nniToI : Stream Record(k : NNI, c : Coef) -> ST
- nniToI st ==
+ nniToI st == delay
empty? st => empty()
term : Term := [(frst st).k, (frst st).c]
concat(term, nniToI rst st)
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
