On 02/19/2016 10:59 PM, Kurt Pagani wrote:
> I'm frequently confronted with this SBCL specific error ... usually it's
> my bad - some recursion mistakes or bad design,

Yeah, probably the same with me. I'm not yet finished with the analysis,
but my suspicion is that I should have been more careful in computing
with Laurent series.

Multiplication is implemented like this.

x : % * y : % == laurent(getExpon x + getExpon y, getUTS x * getUTS y)

https://github.com/fricas/fricas/blob/master/src/algebra/laurent.spad#L225

That would explain the high orders that I see.

I should probably have used "removeZeroes" in some places. However, I am
somehow reluctant to introduce "removeZeroes" into my package.

If this is necessary, then I will call this a bug in the FriCAS code and
try to provide a patch that would remedy the situation. Otherwise, other
users of UnivariateLaurentSeries might fall into the same trap.

But wait until I'm finished with the real bug hunting.

Ralf

-- 
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.

Reply via email to