Hello, I have a certain Taylor series (uts) that I'd like to integrate over a certain variable (sym).
Uts is of type UnivariateTaylorSeries(Expression(Integer),eps,0). Sym is just 'sigma::Symbol. I checked that the problem is not in the types of either uts or sym, because a call with equivalent types proceeds fine. The same problem appears if I do map(c +-> integrate(c, sym), uts) instead of integrate(uts, sym) The actual error that Fricas reports is this: >> Error detected within library code: Invalid argument I searched for "Invalid argument" in Spad files, and it seems that there are just two files that have that string: elemntry.spad and liouv.spad. https://github.com/fricas/fricas/blob/master/src/algebra/elemntry.spad https://github.com/fricas/fricas/blob/master/src/algebra/liouv.spad I got an idea to debug this problem by replacing each occurence of the `error "Invalid argument"` statement in those two files with a statement that would cause a stack trace to be printed. That would help further narrow down the issue. However, I don't even know if Fricas has the ability to issue stack traces (from Spad code)? Could any help with that, or give other ideas? Thanks, Neven -- 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 on the web visit https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4O%3Ddhzhmz%3Dq7wrm4C9OAyS5diGZGioYKJQFPQ%2BUEDjvOg%40mail.gmail.com.
