Dear all,
experimenting with fixed points of Taylor series I came across the package
ParadoxicalCombinatorsForStreams which is used heavily for various
functions in the library.
however attempting to solve the Catalan recurrence
g(z) = z + g(z)^2
I constantly get exhausted stacks:
********
)abbrev package PARADOX Paradox
Paradox(R : CommutativeRing) : Exports == Implementation where
STSOR ==> StreamTaylorSeriesOperations(R)
Exports ==> with
f:Stream R -> Stream R
Implementation ==> add
f(x) ==
x2 := (x * x)$STSOR
z := monom(1,1)$STSOR
(z + x2)$STSOR
********
(1) -> Y(f$Paradox INT)$ParadoxicalCombinatorsForStreams(INT)
INFO: Control stack guard page unprotected
Control stack guard page temporarily disabled: proceed with caution
>> System error:
Control stack exhausted (no more space for function call frames).
This is probably due to heavily nested or infinitely recursive function
calls, or a tail call that SBCL cannot or has not optimized away.
PROCEED WITH CAUTION.
*****
manual iteration works.
where is my mistake?
Franz
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/d8254e67-48f6-2a36-d463-cfe86630364d%40math.tugraz.at.
